Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Haneberg, Dominik"'
Publikováno v:
EPTCS 102, 2012, pp. 33-45
This work presents a formal model that is part of our effort to construct a verified file system for Flash memory. To modularize the verification we factor out generic aspects into a common component that is inspired by the Linux Virtual Filesystem S
Externí odkaz:
http://arxiv.org/abs/1211.6187
Autor:
Ortmeier, Frank, Hoffmann, Alwin, Huggenberger, Ulrich, Reif, Wolfgang, Haneberg, Dominik, Schellhorn, Gerhard, Tarragona, Christian
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::411f35b9430bb6691553bdb18d8c0357
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58511
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58511
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Pfähler, Jörg, Ernst, Gidon, Schellhorn, Gerhard, Haneberg, Dominik, Reif, Wolfgang (Prof. Dr.)
This paper presents formal proof obligations for data refinement in the presence of unexpected crashes, notably due to a power failure. The work is part of our effort to construct a verified file system for flash memory. We apply the theory to one of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::42b95a5355b51bf4e104caa3f6177c2b
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2671
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2671