Co-Design and Verification of an Available File System.

Mahsa Najafzadeh Marc Shapiro Patrick Eugster

Published in: VMCAI (2018)

Keyphrases

file system
access patterns
model checking
data transfer
storage devices
application specific
continuous media
multi tiered
flash memory
storage systems
search tools
metadata management
scalable distributed
document repository
naming conventions
unauthorized access