FML Group

Mission

Formal techniques are becoming extremely important for the description and analysis of complex software systems. To this end, we perform our research activities mainly by studying and developing formal methods, languages, and automatic tools.

Topics

Integrated tools and methods for the specification and validation of complex, adaptive, or critical systems
Model checking techniques
SAT- and SMT-based verification techniques in general
Picture languages and 2D grammars and formalisms
Associative descriptions of programming languages