Add topic "MCRL2" Accepted
The requested resource couldn't be found.
Changes: 7
-
Add mCRL2 tutorial
- Title
-
- Unchanged
- mCRL2 tutorial
- Type
-
- Unchanged
- Article
- Created
-
- Unchanged
- no value
- Description
-
- Unchanged
- 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
-
- Unchanged
- https://www.mcrl2.org/web/user_manual/tutorial/tutorial.html
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Formal methods
- Title
-
- Unchanged
- Formal methods
- Type
-
- Unchanged
- Course
- Created
-
- Unchanged
- no value
- Description
-
- Unchanged
- In this course, we will study a collection of techniques that are essential in the construction of large and highly reliable systems.
- Link
-
- Unchanged
- https://satoss.uni.lu/courses/formalmethods/
- Identifier
-
- Unchanged
- MICS2-22
Resource | v1 | current (v1) -
Add MCRL2
- Title
-
- Unchanged
- MCRL2
- Description
-
- Unchanged
- mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of the language is based on process algebra (Algebra of Communicating Processes). The data part of the toolset is based on abstract equational data types extended with higher-order functions. The toolset was founded by Jan Friso Groote and is currently developed by the Formal Systems Analysis group at Eindhoven University of Technology, The Netherlands.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=17163257
Topic | v1 | current (v1) -
Add MCRL2 has official mCRL2 tutorial
- Current
- has official
Topic to resource relation | v1 -
Add MCRL2 treated in Formal methods
- Current
- treated in
Topic to resource relation | v1 -
Add Alloy treated in Formal methods
- Current
- treated in
Topic to resource relation | v1 -
Add Programming language e.g. MCRL2
- Current
- e.g.
Topic to topic relation | v1