DIUM TWiki . Research/VFS . WebAtom (1 vs. 2)
Changes | Index | Search | Go
 <<O>>  Difference Topic WebAtom (2 - 24 Jan 2006 - Main.TWikiContributor)
Line: 1 to 1
 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 2021 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 (last changed by TWikiContributor) TWikiContributor WebSearchAdvanced http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebSearchAdvanced 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebTopicCreator http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebTopicCreator 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebIndex http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebIndex 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebSearch http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebSearch 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebChanges http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebChanges 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebAtom http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebAtom 2006-01-24T06:07:58Z TWiki's Research/VFS web (last changed by TWikiContributor) TWikiContributor WebRss http://wiki.di.uminho.pt/twiki/bin/view/Research/VFS/WebRss 2005-03-28T09:40:13Z " else "TWiki's Research/VFS web"}% /Research/VFS (last changed by TWikiContributor) TWikiContributor