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

Posted in People, Research | Comments Off on Open PhD Positions


Three papers were accepted for FMICS, the 29th International Conference on Formal Methods for Industrial Critical Systems: Fault Tree inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based metrics, by Lisandro A. Jimenez-Roa, Nicolae Rusnac, Matthias …continue reading

Posted in Research | Comments Off on FSA@FMICS

Paper accepted for CMSB 2024

The paper Bio-STARK, by Valentina Castiglioni, Michele Loreti, and Simone Tini, has been accepted for publication at CMSB 2024, the 22nd International Conference on Computational Methods in Systems Biology. Bio-STARK enriches the STARK tool with …continue reading

Posted in Research | Comments Off on Paper accepted for CMSB 2024

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

Posted in Research | Comments Off on FSA goes to MARS

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

Posted in People, Research | Comments Off on Simone Tini visits FSA

More news…