Butterfield, Andrew; Ó Catháin, Art
(Springer, 2009)
We present a CSP model of the internal behaviour of Flash Memory, based on its speci cation by the Open Nand-Flash Interface (ONFi) consortium. This contributes directly to the low-level modelling
of the data-storage ...