Project KorSys:
Korrekte Software für sicherheitskritische Systeme
(Correct Software for safety-critical systems)
Activities at the Technical University of Munich
The aim of the KorSys project is to improve the applicability of formal methods
for the specification and verification of complex software systems
in practice.
The activities at Technical University of Munich are part of the
KorSys project together with
BMW, ESG, SIEMENS AG and OFFIS.
The project is divided into four specific areas:
- Methods and tools for reactive systems
- Methods and tools for finite state systems
- Industrial applications
- Quality of tools
For the activities of the Technical University of Munich
you find a short summary (in German).
Project Members
-
Heads of the project:
- Prof. Dr. Manfred Broy
- Prof. Tobias Nipkow
-
Scientific staff:
- Olaf Müller
- Jan Philipps
- Oscar Slotosch
-
Related Scientists:
- Dr. Stephan Merz
- Dr. Christian Prehofer
- Peter Scholz
(access restricted to TUM)
Additional informationen about Department
IV Univ.-Prof. Dr. Manfred Broy
Oscar Slotosch Apr 23 1997
TUM Publications
Internals