Formalizing a Hierarchical File System
Open Access
- 31 December 2009
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 259, 67-85
- https://doi.org/10.1016/j.entcs.2009.12.018
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- POSIX file store in Z/Eves: An experiment in the verified software repositoryScience of Computer Programming, 2009
- A mini challenge: build a verifiable filesystemFormal Aspects of Computing, 2007
- Using model checking to find serious file system errorsACM Transactions on Computer Systems, 2006
- The verifying compilerJournal of the ACM, 2003
- Specification of the UNIX Filing SystemIEEE Transactions on Software Engineering, 1984