- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Augsburg, Universität Augsburg, Dissertation, 2022
- Keyword
-
Programmverifikation
Nebenläufigkeit
Typsystem
Softwareentwicklung
Verifikation
Korrektheit
Softwareentwicklung
Programmverifikation
Nanodot-Speicher
Dateisystem
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2023
- Creator
- Contributor
-
Reif, Wolfgang
- URN
-
urn:nbn:de:bvb:384-opus4-1064556
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bodenmüller, Stefan
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2023
Other Objects (12)
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Verification of crashsafe caching in a virtual file system switch
Caching
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
The symbiosis of concurrency and verification: teaching and case studies
Information-centric mobile caching network frameworks and caching optimization: a survey
Geoprocessing mit OpenCaching
Top-k Semantic Caching
Concurrency 88 : proceedings
Web caching : [reducing network traffic]
Aggregates caching for enterprise applications
Adaptives Caching in verteilten Informationssystemen
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Verification of crashsafe caching in a virtual file system switch
Caching
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
The symbiosis of concurrency and verification: teaching and case studies
Information-centric mobile caching network frameworks and caching optimization: a survey
Geoprocessing mit OpenCaching
Top-k Semantic Caching
Concurrency 88 : proceedings
Web caching : [reducing network traffic]
Aggregates caching for enterprise applications
Adaptives Caching in verteilten Informationssystemen
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Verification of crashsafe caching in a virtual file system switch
Caching
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
The symbiosis of concurrency and verification: teaching and case studies
Information-centric mobile caching network frameworks and caching optimization: a survey
Geoprocessing mit OpenCaching
Top-k Semantic Caching
Concurrency 88 : proceedings
Web caching : [reducing network traffic]
Aggregates caching for enterprise applications