Login / Signup
Certifying a file system using crash hoare logic: correctness in the presence of crashes.
Tej Chajed
Haogang Chen
Adam Chlipala
M. Frans Kaashoek
Nickolai Zeldovich
Daniel Ziegler
Published in:
Commun. ACM (2017)
Keyphrases
</>
file system
access patterns
logic programming
multi tiered
storage systems
data transfer
storage devices
naming conventions
continuous media
classical logic
search tools
application specific
multi valued
metadata management
modal logic
document repository
flash memory
access control