diff options
| author |   B. Watson | 2020-10-13 06:32:13 +0200 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2020-10-17 04:39:22 +0200 |
| commit | 34c5b42f58c0138cc5a677ec095106a8a383005a (patch) | |
| tree | 0f69fb5cfd0a07e38b9a01df3a2c05ea3c26aed8 /development | |
| parent | 93067f0367bfab9f5545e0c989e25db64d25a2b7 (diff) | |
| download | slackbuilds-34c5b42f58c0138cc5a677ec095106a8a383005a.tar.gz | |
development/mcrl2: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development')
| -rw-r--r-- | development/mcrl2/README | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/mcrl2/README b/development/mcrl2/README index 29abd169e9..a6e39d196a 100644 --- a/development/mcrl2/README +++ b/development/mcrl2/README @@ -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. |