Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{725399,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Češka, Milan and Tůmová, Jana},
address = {United States of America},
booktitle = {Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)},
keywords = {ProbDiVinE; Qualitative LTL; Probabilistic; Model Checking},
language = {eng},
location = {United States of America},
isbn = {0-7695-2883-X},
pages = {215-216},
publisher = {IEEE Computer Society},
title = {ProbDiVinE: A Parallel Qualitative LTL Model Checker},
year = {2007}
}
TY - JOUR
ID - 725399
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Češka, Milan - Tůmová, Jana
PY - 2007
TI - ProbDiVinE: A Parallel Qualitative LTL Model Checker
PB - IEEE Computer Society
CY - United States of America
SN - 076952883X
KW - ProbDiVinE
KW - Qualitative LTL
KW - Probabilistic
KW - Model Checking
N2 - We introduce a parallel model checker for checking Markov decision Processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties.
ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE: A Parallel Qualitative LTL Model Checker. Online. In \textit{Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)}. United States of America: IEEE Computer Society, 2007. s.~215-216. ISBN~0-7695-2883-X. [citováno 2024-04-24]
|
