Verifying a File System Implementation
2004
Files
Details
Title
Verifying a File System Implementation
Author(s)
Arkoudas, Konstantine ; Zee, Karen ; Kuncak, Viktor ; Rinard, Martin
Published in
Sixth International Conference on Formal Engineering Methods
Date
2004
Note
See also technical report https://infoscience.epfl.ch/search.py?recid=110223&ln=en
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21