Formal Verification of a Flash Memory Device Driver - An Experience Report.
Moonzoo KimYunja ChoiYunho KimHotae KimPublished in: SPIN (2008)
Keyphrases
- formal verification
- flash memory
- hand held devices
- read write
- model checking
- garbage collection
- solid state
- hard disk
- buffer management
- main memory
- file system
- random access
- embedded systems
- car navigation
- disk drives
- model checker
- symbolic model checking
- bounded model checking
- data storage
- b tree
- automated verification
- storage systems
- database systems
- temporal logic
- mobile devices
- storage devices
- memory management
- data structure
- case study
- database
- databases
- data mining
- data analysis
- data model
- low cost