| 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.
|
