Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
WESTFALISCHE COMPUTER SCIENCE 2
 

Summary: RHEINISCH-
WESTF¨ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN 2
CHAIR OF
COMPUTER SCIENCE 2
SOFTWARE MODELING
AND VERIFICATION
(MOVES)
- BSc/MSc/Diploma Thesis -
Fully Symbolic Bisimulation Minimization of Probabilistic
Systems
Develop and implement a fully symbolic bisimulation quotienting algorithm for
probabilistic systems
What is probabilistic model checking all about?
In times of ever more complex system designs, it becomes increasingly diffcult and often even impossible to manually
analyze systems. Yet, for certain systems, e.g. safety-critical ones or ones for which the repair of previously undetected
errors may be very cost-intensive, it is crucial to determine whether they behave correctly with respect to the
requirements that they are intended to fulfill. Model checking is a fully automated technique to verify properties on

  

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

 

Collections: Computer Technologies and Information Sciences