Login / Signup
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.
Stefan Bodenmüller
Gerhard Schellhorn
Martin Bitterlich
Wolfgang Reif
Published in:
Logic, Computation and Rigorous Methods (2021)
Keyphrases
</>
file system
disk drives
flash memory
storage systems
access patterns
data transfer
storage devices
search tools
model checking
application specific
scalable distributed
multi tiered
signature verification
continuous media
naming conventions
hard disk
end users
document repository