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, Stark and Storm. 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…
Open PhD Positions
The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and …continue reading
And the winner is…
…Rick Erkens! Rick won the GEWIS Best Teacher Award. Among other amazing qualities, students chose Rick for his passion and commitment, his guidance, and his capability of transforming complex formal theories into simple understandable concepts. …continue reading
Paper accepted at TACAS 2025
The paper “Efficient Evidence Generation for Modal mu-Calculus Model Checking” by Anna Stramaglia, Jeroen Keiren, Maurice Laveaux and Tim Willemse has been accepted for publication at TACAS 2025 that will take place in Hamilton, Canada, …continue reading
Paper accepted at ABZ 2025
The paper “On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK”, by Sebastian Betancourt and Valentina Castiglioni, has been accepted at ABZ 2025, that will take place in Dusseldorf, 10-13 June …continue reading
ROCKS 2025 in Eindhoven
The ROCKS Meeting 2025 is taking place in Eindhoven from April 2nd – 4th. The ROCKS Meeting on “Rigorous dependability analysis using model checking techniques for stochastic systems” is a recurring event which connects researchers …continue reading
Paper published in ACM Formal Aspects of Computing
The paper Formal Methods in Industry by M.H. ter Beek, R. Chapman, R. Cleaveland, H. Garavel, R. Gu, I. ter Horst, J.J.A. Keiren, T. Lecompte, M. Leuschel, K.Y. Rozier, A. Sampaio, C. Seceleanu, M. Thomas, …continue reading
More news…
Events
- Colloquium 17 April 12.45 - 13.30, 2025, MF 6.132. Tar van Krieken: Quasi Decision Diagrams.
- Colloquium 10 April 12.45 - 13.30, 2025, MF 6.132. Anna Stramaglia: Efficient Evidence Generation for Modal mu-calculus Model Checking.
- Colloquium 3 April 12.45 - 13.30, 2025, MF 6.132. Jore Booy: PBES fixpoint iteration.
- Colloquium 27 March 12.45 - 13.30, 2025, MF 6.132. Bas Luttik: Teaching with AI.
- Colloquium 20 March 12.45 - 13.30, 2025, MF 6.132. Menno Bartels: Symmetries in Predicate Formulas.
- Colloquium 13 March 12.45 - 13.30, 2025, MF 6.132. Sebastián Betancourt: Modelling autonomous driving with Stark.
- MSc Defence 27 February 14.30 - 15.00, 2025, Atlas 11.320. Danny van Dortmont: Easy Property Specification Through UML State-Machine Diagrams.