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…


Tim Willemse group leader

Starting on Juli 1, 2021 Tim Willemse took over the role of cluster leader of FSA from Jan Friso Groote who has been leader for more than 20 years.

Posted in People | Comments Off on Tim Willemse group leader

Keynote presentation by Luca Aceto on the axiomatisation of parallel composition at LICS 2021

On Friday July 2, 2021, our colleague Luca Aceto from Reykjavik University delivered an invited talk at LICS 2021 entitled In search of lost time: Axiomatising parallel composition in process algebras. An article with the …continue reading

Posted in Research | Comments Off on Keynote presentation by Luca Aceto on the axiomatisation of parallel composition at LICS 2021

Verifying liveness properties under justness assumptions in mCRL2

In 2020, the article Off-the-shelf Automated Analysis of Liveness Properties for Just Paths by Mark Bouwman, Bas Luttik and Tim Willemse published as Acta Informatica 57:551-590. The article was recently presented at FORTE 2021; you …continue reading

Posted in Research | Comments Off on Verifying liveness properties under justness assumptions in mCRL2

Paper formalising the semantics of SysML state machines in mCRL2 presented at FORTE 2021

The paper A Formalisation of SysML State Machines in mCRL2 by Mark Bouwman, Bas Luttik and Djurre van der Wal was presented at FORTE 2021, a workshop co-located with DisCoTec 2021. Both the paper and Mark Bouman’s …continue reading

Posted in Research | Comments Off on Paper formalising the semantics of SysML state machines in mCRL2 presented at FORTE 2021

IPA Dissertation Award for Thomas Neele

Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions …continue reading

Posted in People, Research | Comments Off on IPA Dissertation Award for Thomas Neele

More news…