diff options
Diffstat (limited to 'development/mcrl2/README')
| -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. |