mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
5 lines
293 B
Text
5 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.
|