Formal Modeling and Analysis of a Flash Filesystem in Alloy
Formal Modeling and Analysis of a Flash Filesystem in Alloy. Eunsuk Kang TDS Seminar, Mar. 14, 2008. What is flash memory?. Non-volatile, high-performance storage Applications: MP3 players, laptop drives, digital cameras, etc. NASA Mars Exploration Rover Spirit.
931 views • 79 slides