The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2007)
Edinburgh, Scotland, UK
Sept. 17, 2007 to Sept. 19, 2007
ISBN: 0-7695-2883-X
pp: 215-216
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
ABSTRACT
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.
INDEX TERMS
null
CITATION

L. Brim, J. Barnat, M. Ceska, I. Cema and J. Tumova, "ProbDiVinE: A Parallel Qualitative LTL Model Checker," Quantitative Evaluation of Systems, International Conference on(QEST), Edinburgh, Scotland, UK, 2007, pp. 215-216.
doi:10.1109/QEST.2007.13
82 ms
(Ver 3.3 (11022016))