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)
- Diploma / Master Thesis -
Compositional Software Model Checking
(for aerospace systems)
What is it all about?
Model checking of software becomes increasingly difficult. The
latest generation of safety-critical systems, like trains, cars and
airplanes are being equipped with complex control software
counting up to millions lines of code. To ensure the correct-
ness of this code, a typical model checker traverses huge state
spaces. Our current model checker developed for the European

  

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

 

Collections: Computer Technologies and Information Sciences