diff options
Diffstat (limited to 'development/mcrl2/README')
| -rw-r--r-- | development/mcrl2/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/mcrl2/README b/development/mcrl2/README index 57354a8109..29abd169e9 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 -μCRL. Using its accompanying toolset systems can be analysed and verified +mCRL. Using its accompanying toolset systems can be analysed and verified automatically. |