...experiment in an unrestricted hands-on web.

Navigation

Sandbox » MiguelFerreiraSandbox

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

VDM Models

Tar

ONFI

Alloy Models

Tar

-- MiguelFerreira - 13 Nov 2007

  Attachment Actionup Size Date Who Comment
else mivfs.bib props, move 2.4 K 15 Nov 2007 - 22:01 MiguelFerreira BibTex library
else onfi_vdmsl.tar.gz props, move 22.6 K 15 Nov 2007 - 22:05 MiguelFerreira fully functional version of ONFI model
r2 - 15 Nov 2007 - 23:02:21 - MiguelFerreira
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM