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…


No FSA colloquium due to Corona virus

The weekly FSA colloquium is postponed until further notice due to the precautionary measures to contain the Corona outbreak.

Posted in Uncategorized | Comments Off on No FSA colloquium due to Corona virus

Best paper award at LATA 2020

The paper “Complexity of Automatic Sequences” by Hans Zantema has been awarded the best paper award for the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), which will be held in …continue reading

Posted in Research | Comments Off on Best paper award at LATA 2020

Two papers on partial-order reduction accepted at FoSSaCS, TACAS

The papers “Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Wieger Wesselink and “The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction” by Thomas Neele, …continue reading

Posted in Research | Comments Off on Two papers on partial-order reduction accepted at FoSSaCS, TACAS

Paper on O(m log n) algorithm for branching bisimulation accepted at TACAS 2020

The paper “An O(m log n) algorithm for branching bisimilarity on labelled transition systems” by David Jansen, Jan Friso Groote, Jeroen Keiren and Anton Wijs has been accepted for presentation at TACAS, part of ETAPS …continue reading

Posted in Research | Comments Off on Paper on O(m log n) algorithm for branching bisimulation accepted at TACAS 2020

Paper on Variability Parity Games accepted at FASE 2020

The paper “Family-Based SPL Model Checking Using Parity Games with Variability” by Maurice ter Beek, Sjef van Loo, Erik de Vink and Tim Willemse has been accepted for presentation at FASE, part of ETAPS 2020, …continue reading

Posted in Research | Comments Off on Paper on Variability Parity Games accepted at FASE 2020

More news…