Login / Signup
File systems deserve verification too!
Gabriele Keller
Toby C. Murray
Sidney Amani
Liam O'Connor
Zilin Chen
Leonid Ryzhyk
Gerwin Klein
Gernot Heiser
Published in:
PLOS@SOSP (2013)
Keyphrases
</>
file system
access patterns
data transfer
scientific computing
model checking
search tools
application specific
distributed data
face verification
flash memory
storage systems
storage devices
multi tiered
formal methods
signature verification
distributed systems
verification method