...experiment in an unrestricted hands-on web.
Login
|
Register
|
Print
Navigation
DI
EL
Education
Events
JoseLuisSilva
Personal
Research
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
Team
ProjectFiles
BibTex
VDM Models
Tar
ONFI
Alloy Models
Tar
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
props
,
move
2.4 K
15 Nov 2007 - 22:01
MiguelFerreira
BibTex library
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
Copyright © 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
RSS
ATOM