ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems

Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

Volumn , Issue , 2008, Pages 77-78

  Barnat, Jiří ^a   Brim, Luboš ^a   Černá, Ivana ^a   Češka, Milan ^a   Tůmová, Jana ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

PARALLEL PROCESSING SYSTEMS; PROBABILITY; TEMPORAL LOGIC;

DISTRIBUTED MEMORIES; LINEAR TEMPORAL LOGICS; MODEL CHECKERS; PARALLEL COMPUTING; PROBABILISTIC SYSTEMS; QUALITATIVE MODELS; VERIFICATION OF PROBABILISTIC SYSTEMS;

MODEL CHECKING;

EID: 56649119129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2008.29     Document Type: Conference Paper

References (6)

1. J. Barnat, L. Brim, I. Černá, M. Češka, and J. Tůmová. Prob-DiVinE: A Parallel Qualitative LTL Model Checker. In Proc. of QEST'07, pages 215-216. IEEE Computer Society, 2007.
2. B.Jeannet, P. de Argenio, and K. Larsen. RAPTURE: A tool for verifying Markov Decision Processes. In Proc. Tools Day / CONCUR'02. Tech.Rep. FIMU-RS-2002-05, pages 84-98. MU Brno, 2002.
3. F. Ciesinski and C. Baier. LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. In Proc. of QEST'06, pages 131-132. IEEE Computer Society, 2006.
4. C. Courcoubetis and M. Yannakakis. The complexity of probabilistic verification. Journal of the ACM, 42(4):857-907, 1995.
5. L. de Alfaro. Formal Verification of Stochastic Systems. PhD thesis, Stanford University, Department of Computer Science, 1997.
6. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In Proc. of TACAS'06, volume 3920 of LNCS, pages 441-444. Springer, 2006.