About FSA

Research We investigate and develop theories, techniques and tools for modelling and analysing the behaviours of (concurrent) systems. Research focusses on process algebra, semantics, model checking, logics and satisfiability solving. Application areas include protocols, hardware designs, industrial control systems. Tools developed by the group include mCRL2 and MaDL. Read More…

Education We offer courses in Logic, Formal Methods, Model Checking and Automated Reasoning. We are always looking for enthusiastic people who are interested in a research project or thesis in our Master programme. Read More…


Visitor: Valentina Castiglioni

Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.

Posted in People, Research | Comments Off on Visitor: Valentina Castiglioni

Clemens Dubslaff joins FSA!

We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.

Posted in People | Comments Off on Clemens Dubslaff joins FSA!

Visitors: Nobuko Yoshida and Sung-Shik Jongmans

On Thursday, 13 October, Nobuko Yoshida (Oxford) and Sung-Shik Jongmans (OU/CWI) will be visiting the FSA group.

Posted in People, Research | Comments Off on Visitors: Nobuko Yoshida and Sung-Shik Jongmans

Kevin Jilissen joins FSA

Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.

Posted in People, Projects | Comments Off on Kevin Jilissen joins FSA

Parallel Model Checking

The paper “Using the parallel ATerm library for parallel model checking”, by Groote, Jilissen, Laveaux, Spaendonck, and Willemse has been published in Lecture Notes in Computer Science 13560, Springer. It describes how very substantial speedups …continue reading

Posted in Research | Comments Off on Parallel Model Checking

More news…