Browsing by Subject "formal methods"
Now showing items 1-1 of 1
-
Concurrent Models of Flash Memory Device Behaviour
(Springer, 2009)We present a CSP model of the internal behaviour of Flash Memory, based on its specification by the Open Nand-Flash Interface (ONFi) consortium. This contributes directly to the low-level modelling of the data-storage ...