Flash memory efficient LTL model checking
Science of Computer Programming
Hi-index | 0.00 |
In this paper, we describe the basics of NAND flash memory and describe the evolution of its interface to facilitate easy integration, to provide high bandwidth, to offer disk-like interface, and/or to guarantee interoperability.