Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations.
Shivani TripathyDebiprasanna SahooManoranjan SatpathySrinivas PinisettyPublished in: ICCD (2019)
Keyphrases
- flash memory
- storage media
- solid state
- random access
- garbage collection
- main memory
- buffer management
- file system
- embedded systems
- disk drives
- data storage
- database systems
- secondary storage
- b tree
- storage management
- small size
- memory management
- formal methods
- model checking
- storage devices
- storage systems
- data management