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…


Paper accepted for FOSSACS 2023

The paper, compositional learning for interleaving parallel automata, by Labbai, Groote, Hojjat and Mousavi has been accepted for FOSSACS 23. It describes an algorithm to learn behaviour of parallel components, without knowing the parallel structure.

Posted in Research | Comments Off on Paper accepted for FOSSACS 2023

Book: Tales of Electrologica is available.

This book describes the history of the most iconic computer ever developed in The Netherlands, the Electrologica X8. It contains a number of stories by the original contributers to the soft- and hardware of this …continue reading

Posted in Research | Comments Off on Book: Tales of Electrologica is available.

Visitor: Rance Cleaveland

Rance Cleaveland (Maryland University) is our guest from 16-20 January.

Posted in People, Research | Comments Off on Visitor: Rance Cleaveland

Paper on Compositional Automata Learning accepted at FASE’23

The paper “Compositional Automata Learning of Synchronous Systems” by Thomas Neele and Matteo Sammartino was accepted for presentation at FASE’23, which will take place in Paris, France. This paper proposes an extension for the classic …continue reading

Posted in Research | Comments Off on Paper on Compositional Automata Learning accepted at FASE’23

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

More news…