A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Augsburg, Universität Augsburg, Dissertation, 2018
- Keyword
-
Leveling
Refuse collection
Invariants
Calculus
Dateisystem
Flash-Speicher
Formale Spezifikationstechnik
Schrittweise Verfeinerung
Stromausfall
Nebenläufigkeit
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2018
- Creator
- Contributor
- URN
-
urn:nbn:de:bvb:384-opus4-418903
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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
- Pfähler, Jörg Michael
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2018
Other Objects (12)
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Verification of crashsafe caching in a virtual file system switch
Compositional verification of a lock-free stack with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
Theorems from compiler verification: a problem set for automated theorem provers
Flashix: modular verification of a concurrent and crash-safe flash file system
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Verification of crashsafe caching in a virtual file system switch
Compositional verification of a lock-free stack with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
Theorems from compiler verification: a problem set for automated theorem provers
Flashix: modular verification of a concurrent and crash-safe flash file system
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Verification of crashsafe caching in a virtual file system switch
Compositional verification of a lock-free stack with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
Theorems from compiler verification: a problem set for automated theorem provers
Flashix: modular verification of a concurrent and crash-safe flash file system
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010