University of Limerick Institutional Repository

Browsing by Subject "verifcation"

DSpace Repository

Browsing by Subject "verifcation"

Sort by: Order: Results:

  • Butterfield, Andrew; Freitas, Leo; Woodcock, Jim (Elsevier, 2007)
    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 ...

Search DSpace


My Account