Summary: DTMC Model Checking by SCC Reduction
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd
Becker
Theory of Hybrid Systems
RWTH Aachen
June 7, 2010
AlgoSyn Nils Jansen - SCC-based Model Checking 1 / 28
Contents
1 Motivation
2 Preliminaries
3 SCC-based Model Checking
4 Interactive Counterexample Renement
5 Implementation and Case Studies
6 Conclusion and Future Work
AlgoSyn Nils Jansen - SCC-based Model Checking 2 / 28
Topic 1
Probabilistic Model Checking
AlgoSyn Nils Jansen - SCC-based Model Checking 3 / 28
Topic 1.1
Counterexamples for Probabilistic

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences