mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-29 13:00:32 +01:00
6 lines
293 B
Text
6 lines
293 B
Text
|
mCRL2 stands for micro Common Representation Language 2. It is a
|
||
|
|
specification language that can be used to specify and analyse the
|
||
|
|
behaviour of distributed systems and protocols and is the successor to
|
||
|
|
μCRL. Using its accompanying toolset systems can be analysed and verified
|
||
|
|
automatically.
|