Counterexamples for timed probabilistic reachability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3829 LNCS, Issue , 2005, Pages 177-195

  Aljazzar, Husain ^a   Hermanns, Holger ^b   Leue, Stefan ^a  

^a UNIVERSITY OF KONSTANZ   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; MARKOV PROCESSES; PROBABILITY; PROGRAM DEBUGGING; TIME VARYING SYSTEMS;

CONTINUOUS TIME MARKOV CHAINS (CTMCS); MODEL CHECKING; PROBABILISTIC MODEL; REACHABILITY;

CONSTRAINT THEORY;

EID: 33745460936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603009_15     Document Type: Conference Paper

References (19)

1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999 (third printing 2001))
2. Bianco, A., de Alfaro, L.: Model checking of probabalistic and nondeterministic systems. In: Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag LNCS (1995) 499-513
3. A. Aziz, K. Sanwal, V. Singhai, R. K. Brayton: Verifying continuous-time Markov chains. In Rajeev Alur, Thomas A. Henzinger, eds.: Eighth International Conference on Computer Aided Verification CAV. Volume 1102., New Brunswick, NJ, USA, Springer Verlag LNCS (1996) 269-276
4. de Alfaro, L.: Formal Verification of Probabilistic Systems. Ph.d. dissertation, Stanford University (1997)
5. Baier, C.: On algorithmic verification methods for probabilistic systems. Habilitation Thesis. Habilitation thesis, University of Mannheim (1998)
6. Baier, C., Katoen, J.P., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains. In: International Conference on Concurrency Theory, Springer Verlag LNCS (1999) 146-161
7. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking Continuous-Time Markov Chains. ACM Transactions on Computational Logic 1 (2000) 162-170
8. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model checking continuous-time Markov chains by transient analysis. In: CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification, Springer-Verlag LNCS (2000) 358-372
9. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Transions on Software Engineering 29 (2003)
10. H. Garavel, F. Lang, R.M.: An overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter 4 (2002)
11. Hermanns, H., Joubert, C.: A set of performance and dependability analysis components for CADP. In Garavel, H., Hatcliff, J., eds.: Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2003 (Warsaw, Poland). Volume 2619., Springer Verlag LNCS (2003) 425-430
12. Edelkamp, S., Lafuente, A.L., Leue, S.: Directed explicit-state model checking in the validation of communication protocols. Software Tools for Technology Transfer 5 (2004) 247-267
13. Dijkstra, E.W.: A note on two problems in connexion with graphs. Numerische Mathematik 1 (1959) 269-271
14. Pearl, J.: Heuristics - Intelligent Search Strategies for Computer Problem Solving. Addision-Wesley (1986)
15. (ANSI), A.N.S.I.: Small computer interface-2 - standard x3.131-1994 (1994)
16. Garavel, H., Hermanns, H.: On combining functional verification and performance evaluation using CADP. In: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right, Springer-Verlag LNCS (2002) 410-429
17. ISO/IEC: LOTOS - a formal description technique based on temporal ordering of observational behaviour (1989)
18. Garavel, H,: OPEN/C./ESAR: An open software architecture for verification, simulation, and testing. In: TACAS '98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, London, UK, Springer-Verlag LNCS (1998) 68-84
19. Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addision-Wesley (2003)