Abstract Specification of the UBIFS File System for Flash Memory
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified CodePublished by Springer Science and Business Media LLC ,2008
- POSIX and the Verification Grand Challenge: A RoadmapPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Modelling and Proof of a Tree-Structured File System in Event-B and RodinLecture Notes in Computer Science, 2008
- Automating Algebraic Specifications of Non-freely Generated Data TypesLecture Notes in Computer Science, 2008
- Verification of Mondex electronic purses with KIV: from transactions to a security protocolFormal Aspects of Computing, 2007
- A mini challenge: build a verifiable filesystemFormal Aspects of Computing, 2007
- Formalising Flash Memory: First StepsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Algorithms and data structures for flash memoriesACM Computing Surveys, 2005
- The verifying compilerJournal of the ACM, 2003
- Abstract State MachinesPublished by Springer Science and Business Media LLC ,2003