Department of Mathematics and Computer Science

Formal System Analysis

Formal System Analysis focuses on theories, techniques and tools for modeling and analyzing the behaviors of software-controlled systems.


Formal analysis is essential for cost-effective, highly reliable software-controlled systems

The FSA group studies the foundations of software-controlled systems and develops languages and techniques for modelling and analyzing real-world, industrial-scale applications. Expertise in the group includes process algebras for reasoning about concurrent, timed and probabilistic system behavior, SAT- and SMT-solvers, rewriting, and model checking technology. Research focusses on scalability of the technology, which is required for its use in the development of software controlled-systems.  The group offers courses in Logic, Formal Methods, Model Checking, Micro-processor Verification, and Automated Reasoning. 

Meet some of our Researchers