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…
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
FSA goes to MARS
Three papers, submitted to the MARS workshop, a workshop on modelling real systems, were accepted for publication: a paper on the IEEE 1394 Link Layer by Hubert Garavel and Bas Luttik, a paper on Tunnel …continue reading
Simone Tini visits FSA
Simone Tini (University of Insubria) will visit our group from February 26th to March 1st. He will deliver a guest talk at the FSA colloquium on February 29th, entitled “Measuring Robustness in Cyber-Physical Systems under …continue reading
Two papers accepted at TACAS 2024
Two papers submitted by members of the FSA group have been accepted for publication at TACAS 2024, which will take place in Luxembourg. The following papers will be presented there: “OxiDD: A Safe, Concurrent, Modular, …continue reading
PhD-TA position available
We offer a 5 years long PhD-TA (PhD-Teaching Assistant) position to work the application of formal methods to the analysis and verification of Cyber-Physical Systems operating under uncertainties. For more information, please refer to the …continue reading
More news…
Events
- Colloquium 2 May 12.45 - 13.30, 2024, MF 6.132. Thomas Neele: A new Operational and Axiomatic semantics for AuDaLa.
- Colloquium 25 April 12.45 - 13.30, 2024, MF 6.132. Herman Geuvers: alpha-equivalence.
- Colloquium 18 April 12.45 - 13.30, 2024, MF 6.132. Tom Franken: Proving a Parallel Sorting Algorithm in AuDaLa.
- Colloquium 11 April 12.45 - 13.30, 2024, MF 6.132. Flip van Spaendonck: Modelling Object-Oriented Code.
- Colloquium 4 April 12.45 - 13.30, 2024, MF 6.132. Tim Willemse: On the minimisation of transition systems.
- Colloquium 28 March 12.45 - 13.30, 2024, MF 6.132. Matthias Volk: How to estimate software failure rates?.
- Colloquium 21 March 12.45 - 13.30, 2024, MF 6.132. Kevin Jilissen: Establishing well-typedness of SysML type definitions and activity diagrams.
- Colloquium 14 March 12.45 - 13.30, 2024, MF 6.132. Jan Friso Groote: Rewriting with 64-bit digits in mCRL2.