Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
DTMC Model Checking by SCC Reduction Erika brahm, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd
 

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