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…
The following paper has been accepted for publication in ACM Transactions on Computational Logic:Extensible Proof Systems for Infinite-State Systems, by Rance Cleaveland (University of Maryland, College Park) and Jeroen Keiren
Two papers submitted by members of FSA were accepted for publication at ICTAC 2023, which will take place in Peru. The following will be presented there: Simplifying process parameters by unfolding algebraic data types, by …continue reading
The VENI grant is part of the NWO Talent Programme and targets excellent researchers who have recently obtained their PhDs. Our group member Clemens Dubslaff has been awarded one of the grants for a project …continue reading
A whopping four papers, submitted by members of the FSA group, have been accepted for publication in this year’s CONCUR edition in Antwerp. Bas Luttik and Myrthe Spronck have a paper on multi-writer, multi-reader non-atomic …continue reading
The VERSEN master thesis award was granted to Kevin Jilissen for his master thesis showing that tunnel software can formally be verified, exposing some design errors.
- Colloquium 13 July 12.45 - 13.30, 2023, MF 6.132. Rick Erkens: Automaton-based Techniques for Optimized Term Rewriting.
- MSc Defence 7 July 13.00 - 13.30, 2023, . Tim Beurskens: Formal Verification of Safety Properties in Automotive Systems.
- Colloquium 29 June 12.45 - 13.30, 2023, MF 6.132. Tom Franken: AuDaLa Turing Completeness & Semantics.
- Colloquium 22 June 12.45 - 13.30, 2023, MF 6.132. Bas Luttik: Verifying mutual exclusion algorithms: dropping the atomicity assumption.