Formal Modeling and Analysis of a Flash Filesystem in Alloy

Search

Authors:

Eunsuk Kang and Daniel Jackson

Publication Venue:

1st International Conference on ASM, B, and Z (ABZ 2008)

When Published:

Sep 15 2008

Attachment	Size
abz08_kang_jackson.pdf	153.44 KB

by eskang

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