mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-05 00:55:44 +01:00
3515f10a97
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
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.
|