Login / Signup
Push-Button Verification of File Systems via Crash Refinement.
Helgi Sigurbjarnarson
James Bornholt
Nicolas Christin
Lorrie Faith Cranor
Published in:
USENIX Annual Technical Conference (2017)
Keyphrases
</>
file system
access patterns
scientific computing
model checking
search tools
data transfer
application specific
flash memory
storage systems
multi tiered
refinement process
scalable distributed
distributed data
formal verification
face verification