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.
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
Visitor: Rance Cleaveland
Rance Cleaveland (Maryland University) is our guest from 16-20 January.
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
Visitor: Valentina Castiglioni
Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.
More news…
Events
- Colloquium 2 February 12.45 - 13.30, 2023, MF 6.132. Herman Geuvers: Apartness and Hennessy-Milner logic.
- Colloquium 26 January 12.45 - 13.30, 2023, MF 6.132. Maurice Laveaux: Modern (Thread-Safe) Decision Diagram Library.
- Colloquium 19 January 12.45 - 13.30, 2023, MF 6.132. Jeroen Keiren: An alternative characterization of fixed points.
- Colloquium 12 January 12.45 - 13.30, 2023, MF 6.132. Jan Martens: Computing minimal distinguishing HML-formulas is NP-hard.
- Colloquium 5 January 12.45 - 13.30, 2023, MF 6.132. Tim Willemse: On a relation between Failures Refinement and Model-Based Testing.
- Colloquium 15 December 12.45 - 13.30, 2022, MF 6.132. Erik de Vink: Zielonka’s algorithm for variability parity games.