Login
|
Register
|
Print
Main
DI
EL
Education
Events
JoseLuisSilva
Personal
Research
VFS
Sandbox
System
Research
»
VFS
»
WebSideBar
»
WebReferences
Web References
Flash File System
(pdf)
Intel Flash File System Core Reference Guide (Version 1)
POSIX File Store (GC)
(pdf)
Morgan and Sufrin's paper on the Unix filing system. (Z)
(pdf)
POSIX file store in Z/Eves: an experiment in the verified software repository
(ppt)
Formal Modeling and Analysis of a Flash Filesystem in Alloy.
(pdf)
Verifiable POSIX file store, technical report. (VDM)
(pdf)
Open Nand Flash Interface, technical report. (VDM)
Formal Methods Projects and Tools
Overture - Open-source Tools for Formal Modelling
VDMTools
Alloy
HOL
Conferences and Workshops
ABZ call for papers on the POSIX pilot project in the Grand Challenge
VDM-Overture 4th Workshop, FM08, Turku, 26 May 2008
Pilot Projects for the Grand Challenge in Verified Software, FM08, Turku, 27 May 2008
Workshop on the Verifiable File Store Mini-Challenge, BCS offices, London, 18 Dec 2007
Other
Verified File-System
OLVER (Open Linux VERification)
Linux
Links
WebReferences
VerifingIntelFlashFilesystemCore
VdmHolTranslation
MeetingsSummary
ResearchStudies
NewsFlash
WebTopicList
WebTopicCreator
WebChanges
WebNotify
WebRss
,
WebAtom
WebStatistics
WebPreferences
News Flash
Updated
WebReferences
MiguelFerreira
- 2 Jun 2008
Complete Model Restructuring
MiguelFerreira
- 15 May 2008
Refresh at public area projet information
MiguelFerreira
- 8 Mar 2008
Refresh files
SamuelSilva
- 22 Jan 2008
Added the first files for the Intel Flash File System Core specification
Added new references on the flash memory subject
MiguelFerreira
- 6 Dez 2007
Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink)
MiguelFerreira
- 30 Nov 2007
Updated files in
ProjectFiles
and info on
ResearchStudies
SamuelSilva
- 27 Nov 2007
Opened topic
ResearchStudies
MiguelFerreira
- 20 Nov 2007
Opened topic
MeetingsSummary
and updated alloy library
SamuelSilva
- 19 Nov 2007
Added alloy library and updated bib file
SamuelSilva
- 19 Nov 2007
opened topic
ProjectFiles
MiguelFerreira
- 15 Nov 2007
started Research/VFS
MiguelFerreira
- 15 Nov 2007
r5 - 12 Jun 2008 - 11:02:06 -
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