Alloy Community

User login

Formal modeling and analysis of a flash filesystem in Alloy

Home » Groups » MIT-SDG
Date: 
Apr 7 2008
author: 
Eunsuk Kang

The Alloy models for the flash filesystem can be found at:

http://sdg.csail.mit.edu/projects/flash

by eskang

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