Cogent
- 25 March 2016
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 51 (4), 175-188
- https://doi.org/10.1145/2954679.2872404
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Formalizing a Hierarchical File SystemElectronic Notes in Theoretical Computer Science, 2009
- Formal verification of a realistic compilerCommunications of the ACM, 2009
- Balancing the LoadJournal of Automated Reasoning, 2009
- Abstract Specification of the UBIFS File System for Flash MemoryLecture Notes in Computer Science, 2009
- Mind the GapLecture Notes in Computer Science, 2009
- A mini challenge: build a verifiable filesystemFormal Aspects of Computing, 2007
- MINIX 3ACM SIGOPS Operating Systems Review, 2006
- Formal certification of a compiler back-end orACM SIGPLAN Notices, 2006
- Verifying a File System ImplementationLecture Notes in Computer Science, 2004
- Structured Specifications and Interactive Proofs with KIVApplied Logic Series, 1998