Flashix: modular verification of a concurrent and crash-safe flash file system
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Lecture Notes in Computer Science, 12750, S. 239-265
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2021
- Ereignis
-
Veröffentlichung
- (wo)
-
Cham
- (wer)
-
Springer Nature
- (wann)
-
2021
- DOI
-
10.1007/978-3-030-76020-5_14
- URN
-
urn:nbn:de:bvb:384-opus4-873036
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bodenmüller, Stefan
- Schellhorn, Gerhard
- Bitterlich, Martin
- Reif, Wolfgang
- Universität Augsburg
- Springer Nature
Entstanden
- 2021
Ähnliche Objekte (12)
Crash-Safe Refinement for a Verified Flash File System
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Thread-local, step-local proof obligations for refinement of state-based concurrent systems
Crash-Safe Refinement for a Verified Flash File System
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Thread-local, step-local proof obligations for refinement of state-based concurrent systems
Crash-Safe Refinement for a Verified Flash File System
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine