Welcome
The "system validation course" is organized by the Eindhoven University of Technology. The aim of the course is to
learn how systems can be designed by formally modelling and analysing their behaviour. mCRL2 is the formal specification language used within this course. It associates a toolset, that can be used for modelling, validation and verification of concurrent systems and protocols. We provide background information on mCRL2 and offer attendees first-hand experience on creating and analyzing formal models.
This page is currently used to educate OOTI students in mCRL2. If your are looking for a more detailed information on the mCRL2 language or the toolset, please visit: