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 ...
Contents
Description
to be continued ...
Team
to be continued ...
ProjectFiles
BibTex
- mivfs.bib: BibTex library
VDM Models
Tar
ONFI
- onfi_vdmsl.tar.gz: fully functional version of ONFI model (VDM-SL)
Alloy Models
Tar
-- MiguelFerreira - 13 Nov 2007
Attachment  | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|
 mivfs.bib | manage | 2.4 K | 15 Nov 2007 - 22:01 | MiguelFerreira | BibTex library |
| onfi_vdmsl.tar.gz | manage | 22.6 K | 15 Nov 2007 - 22:05 | MiguelFerreira | fully functional version of ONFI model |