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 on the Unix filing system. (Z)
• (pdf) POSIX file store in Z/Eves: an experiment in the verified software repository
• (ppt) Formal Modeling and Analysis of a Flash Filesystem in Alloy.
• (pdf) Verifiable POSIX file store, technical report. (VDM)
• (pdf) Open Nand Flash Interface, technical report. (VDM)

Formal Methods Projects and Tools

• Overture - Open-source Tools for Formal Modelling
• VDMTools
• Alloy
• HOL

Conferences and Workshops

• ABZ call for papers on the POSIX pilot project in the Grand Challenge
• VDM-Overture 4th Workshop, FM08, Turku, 26 May 2008
• Pilot Projects for the Grand Challenge in Verified Software, FM08, Turku, 27 May 2008
• Workshop on the Verifiable File Store Mini-Challenge, BCS offices, London, 18 Dec 2007

Other

• Verified File-System
• OLVER (Open Linux VERification)
• Linux