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:
USENIX Annual Technical Conference (2016)
Keyphrases
</>
file system
multi tiered
data transfer
flash memory
access patterns
naming conventions
storage systems
continuous media
multi valued
metadata management
storage devices
search tools
modal logic
scalable distributed
classical logic
database
application specific
database management systems
data structure