Verifiable Filesystem
The purpose of this project is to answer the
Mini Challenge: Build a Verifiable Filesystem proposed by Rajeev Joshi and Gerard J. Holzmann.
to be continued ...
Description
to be continued ...
Team
to be continued ...
BibTex
VDM Models
Tar
ONFI
Alloy Models
Tar
--
MiguelFerreira - 13 Nov 2007