mCRL2 tutorial

Resource history | v1 (current) | created by jjones on Jun 21, 2021

Details

see v1 | created by jjones on Jun 21, 2021 | Add topic "MCRL2"

Title: mCRL2 tutorial
Type: Article
Created: no value
Description: In this tutorial we give a basic introduction into the use of the mCRL2 toolset. In each of the sections we present a number of new concepts, guided by an example, and some exercises to gain hands on experience with the tools. Note that in this tutorial we mainly focus at the use of the tools, and not on the theory that is underlying the tools.
Link: https://www.mcrl2.org/web/user_manual/tutorial/tutorial.html
Identifier: no value

This resource has no history of related authors.

v1 | attached by jjones on Jun 21, 2021 | Add topic "MCRL2"

This resource has no history of related resources.