Verifying compiled file system code.

Jan Tobias Mühlberg Gerald Lüttgen

Published in: Formal Aspects Comput. (2012)

Keyphrases

file system
access patterns
data transfer
multi tiered
source code
flash memory
storage systems
metadata management
naming conventions
scalable distributed
application specific
continuous media
unauthorized access
model checking
data flow
programs written