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

Finished projects