mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-20 19:41:34 +01:00
development/mcrl2: Fix invalid chars in desc.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
This commit is contained in:
parent
7616ad5387
commit
60b0f370c0
2 changed files with 2 additions and 2 deletions
|
@ -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
|
||||
μCRL. Using its accompanying toolset systems can be analysed and verified
|
||||
mCRL. Using its accompanying toolset systems can be analysed and verified
|
||||
automatically.
|
||||
|
|
|
@ -11,7 +11,7 @@ mcrl2:
|
|||
mcrl2: mCRL2 stands for micro Common Representation Language 2. It is a
|
||||
mcrl2: specification language that can be used to specify and analyse the
|
||||
mcrl2: behaviour of distributed systems and protocols and is the successor
|
||||
mcrl2: to μCRL. Using its accompanying toolset systems can be analysed and
|
||||
mcrl2: to mCRL. Using its accompanying toolset systems can be analysed and
|
||||
mcrl2: verified automatically.
|
||||
mcrl2:
|
||||
mcrl2: http://www.mcrl2.org/
|
||||
|
|
Loading…
Reference in a new issue