POSIX file store in Z/Eves: An experiment in the verified software repository
From MaRDI portal
Publication:1004296
DOI10.1016/j.scico.2008.08.001zbMath1162.68388MaRDI QIDQ1004296
Zheng Fu, Leo Freitas, J. C. P. Woodcock
Publication date: 2 March 2009
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2008.08.001
68Q60: Specification and verification (program logics, model checking, etc.)
68M99: Computer system organization
Related Items
Formalizing a hierarchical file system, POSIX file store in Z/Eves: An experiment in the verified software repository, Formalizing a Hierarchical File System
Uses Software
Cites Work
- POSIX file store in Z/Eves: An experiment in the verified software repository
- A mini challenge: build a verifiable filesystem
- Specification of the UNIX Filing System
- Z/Eves and the Mondex Electronic Purse
- Proving Theorems About JML Classes
- Proofs and Refutations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item