Verifiable Filesystem The formal methods community has decided to challenge software developers to use formal methods techniques, in order to specify/model "big" software ...
Research/VFS Web Preferences The following settings are web preferences of the Research/VFS web. These preferences overwrite the site level preferences in ...
Web References Flash File System (pdf) Intel Flash File System Core Reference Guide (Version 1) POSIX File Store (GC) (pdf) Morgan and Sufrin's paper ...
File System Layer Models There has been a restructuring of all models, and for that, some of them aren't available yet. If you are looking for any thing ins specific ...
VDM to HOL model and proof obligation translation One recent addition to the project is an http://www.overturetool.org/twiki/bin/view/Main/AutomaticProof Automatic ...