Development of a Verified Flash File System.

Gerhard Schellhorn Gidon Ernst Jörg Pfähler Dominik Haneberg Wolfgang Reif

Published in: ABZ (2014)

Keyphrases

file system
foreseeable future
access patterns
software engineering
flash memory
database
case study
search tools
scalable distributed
open source
design process
application specific
storage devices
metadata management