Summary: Model Checking Nondeterministic and
Randomly Timed Systems
Martin R. Neuh¨außer1,2
1
RWTH Aachen University, Germany
2
University of Twente, The Netherlands
Oberseminar on January 25, 2010, RWTH Aachen University
Martin R. Neuh¨außer (RWTH Aachen) Nondeterministic & Stochastic Model Checking January 25, 2010 1 / 35
The challenge
Software in safety critical systems becomes more and more complex.
Martin R. Neuh¨außer (RWTH Aachen) Nondeterministic & Stochastic Model Checking January 25, 2010 2 / 35
The challenge
Software in safety critical systems becomes more and more complex.
Erroneous behavior of complex hardware & software systems
Martin R. Neuh¨außer (RWTH Aachen) Nondeterministic & Stochastic Model Checking January 25, 2010 2 / 35
The challenge
Software in safety critical systems becomes more and more complex.
Erroneous behavior of complex hardware & software systems
Martin R. Neuh¨außer (RWTH Aachen) Nondeterministic & Stochastic Model Checking January 25, 2010 2 / 35

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

Collections: Computer Technologies and Information Sciences