BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. Scalable shared memory LTL model checking. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2010, roč. 12, č. 2, s. 139-153. ISSN 1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-010-0136-z. |
Další formáty:
BibTeX
LaTeX
RIS
@article{886012, author = {Barnat, Jiří and Brim, Luboš and Ročkai, Petr}, article_number = {2}, doi = {http://dx.doi.org/10.1007/s10009-010-0136-z}, keywords = {LTL Model Cecking; Parallel; Shared-Memory}, language = {eng}, issn = {1433-2779}, journal = {International Journal on Software Tools for Technology Transfer (STTT)}, title = {Scalable shared memory LTL model checking}, url = {http://dx.doi.org/10.1007/s10009-010-0136-z}, volume = {12}, year = {2010} }
TY - JOUR ID - 886012 AU - Barnat, Jiří - Brim, Luboš - Ročkai, Petr PY - 2010 TI - Scalable shared memory LTL model checking JF - International Journal on Software Tools for Technology Transfer (STTT) VL - 12 IS - 2 SP - 139-153 EP - 139-153 PB - Springer-Verlag GmbH SN - 14332779 KW - LTL Model Cecking KW - Parallel KW - Shared-Memory UR - http://dx.doi.org/10.1007/s10009-010-0136-z N2 - Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various tasks - model checking and reachability analysis among others. In this paper, we present a design for a parallel shared memory LTL model checker that is based on a distributed memory algorithm. To improve the scalability of our tool, we have devised a number of implementation techniques which we present in this paper. We also report on a number of experi- ments we conoducted to analyze the behaviour of our tool under different conditions using various models. We demonstrate that our tool exhibits significant speedup in comparison to sequential tools, which improves the workflow of verification in general. ER -
BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. Scalable shared memory LTL model checking. \textit{International Journal on Software Tools for Technology Transfer (STTT)}. Springer-Verlag GmbH, 2010, roč.~12, č.~2, s.~139-153. ISSN~1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-010-0136-z.
|