Verifying Compiled File System Code.

Jan Tobias Mühlberg Gerald Lüttgen

Published in: SBMF (2009)

Keyphrases

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