Alloy Community

User login

Verifiable File Store

Home
url: 
http://www.vdmportal.org/twiki/bin/view/Main/VerifiedFileStore
Date: 
Jan 4 2009
author: 
Miguel Ferreira & Samuel Silva & José Nuno Oliveira

VDM++, Alloy and HOL models of two top level operations from the Intel Flash File System Core Reference Manual.

by miguel

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte