Login / Signup
Using Crash Hoare logic for certifying the FSCQ file system.
Haogang Chen
Daniel Ziegler
Tej Chajed
Adam Chlipala
M. Frans Kaashoek
Nickolai Zeldovich
Published in:
SOSP (2015)
Keyphrases
</>
file system
data transfer
access patterns
storage devices
logic programming
search tools
flash memory
multi valued
storage systems
application specific
classical logic
continuous media
multi tiered
metadata management
data structure
modal logic