Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-06 08:26:50 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

development/mcrl2: Fix README.

Browse source 
Signed-off-by: B. Watson <yalhcru@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
B. Watson 2020-10-13 00:32:13 -04:00 committed by Willy Sudiarto Raharjo
parent 93067f0367
commit 34c5b42f58
No known key found for this signature in database
GPG key ID: 3F617144D7238786
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
development/mcrl2/README
View file

@ -1,5 +1,5 @@
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.
behaviour of distributed systems and protocols and is the successor
to mCRL. Using its accompanying toolset systems can be analysed and
verified automatically.