Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{793823,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Češka, Milan and Tůmová, Jana},
address = {Washington, DC, USA},
booktitle = {QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems},
keywords = {LTL Model Checking; Multi-core CPU; Probabilistic systems},
language = {eng},
location = {Washington, DC, USA},
isbn = {978-0-7695-3360-5},
pages = {77-78},
publisher = {IEEE Computer Society},
title = {ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems},
year = {2008}
}
TY - JOUR
ID - 793823
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Češka, Milan - Tůmová, Jana
PY - 2008
TI - ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
PB - IEEE Computer Society
CY - Washington, DC, USA
SN - 9780769533605
KW - LTL Model Checking
KW - Multi-core CPU
KW - Probabilistic systems
N2 - We present a new version of \probdivine\ -- a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous release, the new version of the tool allows for both quantitative and qualitative model-checking. It is also strictly multi-threaded, therefore, protects users from unwanted burden of parallel computing in a distributed-memory environment.
ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In \textit{QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems}. Washington, DC, USA: IEEE Computer Society, 2008, s.~77-78. ISBN~978-0-7695-3360-5.
|
