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…


Thomas Neele, Tim Willemse and Jan Friso Groote Receive Best Paper Award at FACS2018

The paper “Solving Parameterised Boolean Equation Systems with Infinite-Data Trough Quotienting” by Thomas Neele, Tim Willemse and Jan Friso Groote received the Best Paper Award at the 15th International Conference on Formal Aspects of Component …continue reading

Posted in Research | Comments Off on Thomas Neele, Tim Willemse and Jan Friso Groote Receive Best Paper Award at FACS2018

New group member: Rick Erkens

Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.

Posted in People | Comments Off on New group member: Rick Erkens

Bas Luttik and Tim Willemse Receive Best Paper Award at FMICS

Maarten Bartholomeus (ProRail), Bas Luttik and Tim Willemse received a Best Paper award for their paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset”, presented at the 23rd International Conference on Formal …continue reading

Posted in Research | Comments Off on Bas Luttik and Tim Willemse Receive Best Paper Award at FMICS

New group member: Olav Bunte

Olav Bunte started as a PhD candidate in the VOICE-B project in our group. The VOICE-B project, led by Tim Willemse and Louis van Gool (Océ) aims to formalise the OIL language used at Océ …continue reading

Posted in People, Projects, Research | Comments Off on New group member: Olav Bunte

Paper accepted at ISoLA 2018

The paper “Pitfalls in Applying Model Learning to Industrial Legacy Software” by Omar al Duhaiby, Arjan Mooij, Hans van Wezep and Jan Friso Groote has been accepted for presentation at ISoLA 2018, Cyprus. The paper …continue reading

Posted in Research | Comments Off on Paper accepted at ISoLA 2018

More news…