Verifying a File System Implementation.

Konstantine Arkoudas Karen Zee Viktor Kuncak Martin C. Rinard

Published in: ICFEM (2004)

Keyphrases

file system
access patterns
data transfer
flash memory
search tools
storage devices
scalable distributed
databases
naming conventions