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…
Kevin Jilissen joins FSA
Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.
Parallel Model Checking
The paper “Using the parallel ATerm library for parallel model checking”, by Groote, Jilissen, Laveaux, Spaendonck, and Willemse has been published in Lecture Notes in Computer Science 13560, Springer. It describes how very substantial speedups …continue reading
Paper presented at CONCUR 2022
The paper On the Axiomatisation of Branching Bisimulation Congruence over CCS by Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir and Bas Luttik was presented at CONCUR 2022 on September 13, 2022. In the paper, which is …continue reading
Farewell Event for Hans Zantema
On Friday 9 September, we had a farewell event for Hans Zantema, with presentations by Herman Geuvers, Jan Willem Klop, Jan Friso Groote, and Hans Zantema himself. The text of Hans’ presentation is available here.
Tales of Electrologica
The book Tales of Electrologica. Computers, software and people, by Gerard Alberts and Jan Friso Groote is published in Springer’s History of Computing Series. It provides several accounts of the iconic X8 computer, built in …continue reading
More news…
Events
- Colloquium 29 September 12.45 - 13.30, 2022, MF 6.132. Olav Bunte: Implementing OIL in Spoofax.
- Colloquium 22 September 12.45 - 13.30, 2022, MF 6.132. Anton Wijs: GPU hash tables.
- Colloquium 8 September 12.45 - 13.30, 2022, MF 6.132. Ferry Timmers: Formalising Raking.
- Colloquium 7 July 12.45 - 13.30, 2022, MF 6.132. Tim Willemse: On Model-Based Testing.
- Colloquium 30 June 12.45 - 13.30, 2022, MF 6.132. Maurice Laveaux: Signature-based symbolic bisimulation minimisation.