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.
Alex Thieme, Improving Automata Ordering for Incremental Counterexample Construction
Gijs van Leemrijse, Constructing a Compiler for Autonomous Data Language,
Towards relaxed memory semantics for the Autonomous Data Language
Sky Sarah van Grieken,
Replicating Experiments and Improving Algorithms for Exact DFA Identification