A Mini Challenge: Build a Verifiable Filesystem.

Rajeev Joshi Gerard J. Holzmann A Mini Challenge: Build a Verifiable Filesystem. 49-56 2005 VSTTE http://dx.doi.org/10.1007/978-3-540-69149-5_6 conf/vstte/2005 db/conf/vstte/vstte2005.html#JoshiH05