Browsing Computer Science by Subject "NAND flash memory"
Now showing items 1-1 of 1
-
Mechanising a Formal Model of Flash Memory
(Elsevier, 2009)We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...