DocumentCode :
3626110
Title :
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Author :
Jiri Barnat;Lubos Brim;Ivana Cema;Milan Ceska;Jana Tumova
Author_Institution :
Masaryk University, Czech Republic
fYear :
2007
Firstpage :
215
Lastpage :
216
Abstract :
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.
Keywords :
"Explosions","Logic","Approximation algorithms","Informatics","Automata","Uncertainty","Upper bound","Iterative methods","Parallel processing","Computational complexity"
Publisher :
ieee
Conference_Titel :
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Print_ISBN :
0-7695-2883-X;978-0-7695-2883-0
Type :
conf
DOI :
10.1109/QEST.2007.13
Filename :
4338260
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3626110
بازگشت