Mechanising a formal model of flash memory.
Andrew ButterfieldLeo FreitasJim WoodcockPublished in: Sci. Comput. Program. (2009)
Keyphrases
- formal model
- flash memory
- garbage collection
- solid state
- file system
- main memory
- buffer management
- random access
- disk drives
- embedded systems
- database systems
- b tree
- data storage
- small size
- hand held devices
- storage devices
- storage systems
- security patterns
- formal models
- security properties
- storage management
- predicate calculus
- similarity measure
- software systems
- general purpose
- training set
- databases