Formal Specification of an Erase Block Management Layer for Flash Memory.
Jörg PfählerGidon ErnstGerhard SchellhornDominik HanebergWolfgang ReifPublished in: Haifa Verification Conference (2013)
Keyphrases
- flash memory
- formal specification
- storage management
- file system
- garbage collection
- model checking
- main memory
- solid state
- random access
- embedded systems
- specification languages
- object oriented design
- b tree
- specification language
- process algebra
- disk drives
- database systems
- formal methods
- small size
- data storage
- concurrent systems
- storage systems
- reverse engineering
- knowledge management
- database management systems
- management system
- storage devices
- hand held devices
- temporal logic
- data management
- data structure
- information systems
- network management
- tree structure
- software systems
- low cost
- nearest neighbor
- artificial intelligence
- real time