|
The Formal Methods and Theory Group at the Technische
Universität München (headed by Prof. Helmut
Veith and Prof. Markus Holzer)
is concerned with research and development in the following
fields: |
| Formal Methods for Embedded Systems | |
| We develop formal methods to analyze and design embedded systems. Application areas include industrial automotive and avionic software. Our research focuses on model checking, timing analysis, and testing. | |
|
Modelling Embedded Software
Model based development of embedded systems Contact: Christian Schallhart |
|
|
Testing and Validation of Runtime Resources
Modeling and validating runtime resources of safety-critical embedded systems. Contact: Christian Schallhart |
|
|
Fortas - Execution Time Analysis
Execution time analysis for embedded software. Contact: Helmut Veith |
|
|
Runtime Reflection
In this project we focus on techniques which allow software systems to analyse their own behavior with respect to certain correctness properties. Contact: Christian Schallhart |
|
| Model Checking and Constraint Solving | |
| We bring together the theory and technology which powers model checkers and software analysis tools. | |
|
Software Security
Verification of security properties and malicious code detection in x86 executables. Contact: Johannes Kinder |
|
|
Constraint Solvers
Solving mixed Boolean and arithmetic systems Contact: Michael Tautschnig |
|
| Automata, Logic, and Complexity | |
| Mathematical methods and models for problems in computer science. | |
