The SSFM Group focusses on the development of formal methods, which are mathematically rigorous techniques for the specification and verification of software systems. The use of formal methods is motivated by the expectation that performing appropriate mathematical analyses can contribute to the reliability and robustness of software. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, and program semantics. Research Fields: Model Checking Formal Specifications of Systems Analysis of Concurrent Systems Analysis of Multi-Agent Systems Strategy Synthesis Satisfiability Solving Temporal Logic Theoretical and Methodological Foundations of System Specifications Tool Support for Formal Methods Meta-Informatics and Philosophy of Computer Science.
