EDELKAMP, Stefan, Damian SULEWSKI, Jiří BARNAT, Luboš BRIM and Pavel ŠIMEČEK. Flash memory efficient LTL model checking. Science of Computer Programming. Elsevier, 2011, vol. 76, No 2, p. 136--157. ISSN 0167-6423. Available from: https://dx.doi.org/10.1016/j.scico.2010.03.005. |
Other formats:
BibTeX
LaTeX
RIS
@article{914275, author = {Edelkamp, Stefan and Sulewski, Damian and Barnat, Jiří and Brim, Luboš and Šimeček, Pavel}, article_number = {2}, doi = {http://dx.doi.org/10.1016/j.scico.2010.03.005}, keywords = {Model checking; External memory algorithms; Algorithm engineering}, language = {eng}, issn = {0167-6423}, journal = {Science of Computer Programming}, title = {Flash memory efficient LTL model checking}, url = {http://dx.doi.org/10.1016/j.scico.2010.03.005}, volume = {76}, year = {2011} }
TY - JOUR ID - 914275 AU - Edelkamp, Stefan - Sulewski, Damian - Barnat, Jiří - Brim, Luboš - Šimeček, Pavel PY - 2011 TI - Flash memory efficient LTL model checking JF - Science of Computer Programming VL - 76 IS - 2 SP - 136--157 EP - 136--157 PB - Elsevier SN - 01676423 KW - Model checking KW - External memory algorithms KW - Algorithm engineering UR - http://dx.doi.org/10.1016/j.scico.2010.03.005 N2 - So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicate states, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection. ER -
EDELKAMP, Stefan, Damian SULEWSKI, Jiří BARNAT, Luboš BRIM and Pavel ŠIMEČEK. Flash memory efficient LTL model checking. \textit{Science of Computer Programming}. Elsevier, 2011, vol.~76, No~2, p.~136--157. ISSN~0167-6423. Available from: https://dx.doi.org/10.1016/j.scico.2010.03.005.
|