loading...
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Edinburgh, Scotland, UK September 17-September 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.13Fourth International Conference on th ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Jiri Barnat, Lubos Brim, Ivana Cema, Milan Ceska, Jana Tumova, "ProbDiVinE: A Parallel Qualitative LTL Model Checker," Quantitative Evaluation of Systems, International Conference on, pp. 215-216, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2007.13,
author = {Jiri Barnat and Lubos Brim and Ivana Cema and Milan Ceska and Jana Tumova},
title = {ProbDiVinE: A Parallel Qualitative LTL Model Checker},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2883-X},
pages = {215-216},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2007.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - ProbDiVinE: A Parallel Qualitative LTL Model Checker
SN - 0-7695-2883-X
SP215
EP216
A1 - Jiri Barnat,
A1 - Lubos Brim,
A1 - Ivana Cema,
A1 - Milan Ceska,
A1 - Jana Tumova,
PY - 2007
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Jiri Barnat, Masaryk University, Czech Republic
Lubos Brim, Masaryk University, Czech Republic
Ivana Cema, Masaryk University, Czech Republic
Milan Ceska, Masaryk University, Czech Republic
Jana Tumova, Masaryk University, Czech Republic
We introduce a parallel model checker for checking Markov decision processes against linear time properties. The model checker extends the parallel model checker Di- VinE and supports verification of qualitative properties.
Citation:
Jiri Barnat, Lubos Brim, Ivana Cema, Milan Ceska, Jana Tumova, "ProbDiVinE: A Parallel Qualitative LTL Model Checker," qest, pp.215-216, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.