Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson James Bornholt Emina Torlak Xi Wang

Published in: OSDI (2016)

Keyphrases

file system
access patterns
model checking
data transfer
multi tiered
scientific computing
storage systems
search tools
application specific
verification method
face verification
flash memory
continuous media
formal methods
formal verification
distributed data
scalable distributed
response time