APMC 3.0: Approximate verification of discrete and continuous time markov chains

Third International Conference on the Quantitative Evaluation of Systems, QEST 2006

Volumn , Issue , 2006, Pages 129-130

  Hérault, Thomas ^a   Lassaigne, Richard ^b   Peyronnet, Sylvain ^c  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITÉ PARIS DESCARTES   (France)

^c EPITA RESEARCH AND DEVELOPMENT LABORATORY LRDE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME PROBABILISTIC SYSTEMS; GLOBAL TRANSITION SYSTEM; PROBABILISTIC SYSTEMS; PROBABILISTIC VERIFICATION;

APPROXIMATION THEORY; CONTINUOUS TIME SYSTEMS; MONTE CARLO METHODS; PROBABILITY; VERIFICATION;

MARKOV PROCESSES;

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

References (6)

1. APMC homepage. http://apmc.berbiqui.org
2. L. de Alfaro, M. Kwiatkowska, G. Norman, D. Parker, and R. Segala. Symbolic model checking of concurrent probabilistic processes using MTBDDs and the Kronecker representation. In Proc. of TACAS, LNCS, 1785, 2000.
3. T. Herault, R. Lassaigne, F. Magniette and S. Peyronnet. Approximate Probabilistic Model Checking. In proc. of the 5th Verification, Model Checking and Abstract Int erpretation (VMCAI 2004), Venice, Italy, LNCS 2937, pages 73-84. 2004.
4. R.M. Karp and M. Luby. Monte-Carlo algorithms for enumeration and reliability problems. In Proceedings of the 24th FOCS, 56-64, 1983.
5. R. Lassaigne and S. Peyronnet. Probabilistic verification and approximation. In Proc. of Wollic 05. Electr. Notes Theor. Comput. Sci. 143: 101-114 (2006).
6. PRISM homepage. http://cs.bham.ac.uk/ dxp/prism