mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-24 10:02:29 +01:00
34c5b42f58
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
5 lines
292 B
Text
5 lines
292 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 mCRL. Using its accompanying toolset systems can be analysed and
|
|
verified automatically.
|