BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE: A Parallel Qualitative LTL Model Checker. In 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. |
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. 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.
|