Chair for Theoretical Computer Science and Foundations of Artificial Intelligence


Formal Methods and Theory Group

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.

Model Checking and Constraint Solving
We bring together the theory and technology which powers model checkers and software analysis tools.

Automata, Logic, and Complexity
Mathematical methods and models for problems in computer science.

No current news. You can look at the archive for older news items by clicking here.
to top >>
old homepage >>