Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model Checking Nondeterministic and Randomly Timed Systems
 

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