TWiki's Research/VFS web

TWiki's Research/VFS web The Research/VFS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS Copyright 2020 by contributing authors 2012-07-02T20:55:38Z WebHome http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebHome 2012-07-02T20:55:38Z

Verifiable Filesystem The formal methods community has decided to challenge software developers to use formal methods techniques, in order to specify/model "big" software ... (last changed by JoseNunoOliveira)

JoseNunoOliveira WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebPreferences 2009-01-22T17:15:39Z

Research/VFS Web Preferences The following settings are web preferences of the Research/VFS web. These preferences overwrite the site level preferences in ... (last changed by MiguelFerreira)

MiguelFerreira WebReferences http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebReferences 2008-06-12T11:02:06Z

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 ... (last changed by MiguelFerreira)

MiguelFerreira VerifingIntelFlashFilesystemCore http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/VerifingIntelFlashFilesystemCore 2008-06-03T14:57:44Z

File System Layer Models There has been a restructuring of all models, and for that, some of them aren't available yet. If you are looking for any thing ins specific ... (last changed by MiguelFerreira)

MiguelFerreira WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebSideBar 2008-06-03T11:13:25Z

Links WebReferences VerifingIntelFlashFilesystemCore VdmHolTranslation MeetingsSummary ResearchStudies NewsFlash WebTopicList WebTopicCreator ... (last changed by MiguelFerreira)

MiguelFerreira NewsFlash http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/NewsFlash 2008-06-02T16:28:44Z

News Flash Updated WebReferences MiguelFerreira 2 Jun 2008 Complete Model Restructuring MiguelFerreira 15 May 2008 Refresh at public area projet ... (last changed by MiguelFerreira)

MiguelFerreira VdmHolTranslation http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/VdmHolTranslation 2008-05-19T07:04:23Z

VDM to HOL model and proof obligation translation One recent addition to the project is an http://www.overturetool.org/twiki/bin/view/Main/AutomaticProof Automatic ... (last changed by MiguelFerreira)

MiguelFerreira WebStatistics http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebStatistics 2007-11-05T11:14:01Z

Statistics for Research/VFS Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)

TWikiGuest WebTopicList http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebTopicList 2006-11-15T19:43:52Z