Master's projects

If you are looking for a final project, please contact me so we can have a discussion. Below are suggestions for possible projects. You are also free to contact me with your own project idea.

Improving interopability of mCRL2

The mCRL2 toolset has its own input language for formal specification of behaviour, which is very versatile. There are, however, many more formal specification languages, for example PNML (for Petri nets), NuSMV and Promela (for Kripke structures) and many more. The goal of this project is to implement one or more translations from these other languages to mCRL2. With this translation/these translations, we can execute various experiments to assess the performance of the mCRL2 model checking engine compared to other state-of-the-art tools.

Ongoing projects

• Alex Thieme, Improving Automata Ordering for Incremental Counterexample Construction

Finished projects

• Gijs van Leemrijse, Constructing a Compiler for Autonomous Data Language, Towards relaxed memory semantics for the Autonomous Data Language , 2023
• Sky Sarah van Grieken, Replicating Experiments and Improving Algorithms for Exact DFA Identification , 2023
• Yuanteng Pan, An Automatic Transformation for Multi-Component Systems from ALIAS to mCRL2 , 2020
• Tao Hong, An Analysis of ASD Timers and Their Expressivity with mCRL2 , 2019
• Marijn Rol, Verification of ASD multi-component systems in mCRL2 , 2018
• Bram Bosch, A formal processor model in mCRL2 , 2017
• Chong Liu, Discretization for timed mCRL2 models using the region based construction , 2016