diff options
Diffstat (limited to 'development/mcrl2/README')
| -rw-r--r-- | development/mcrl2/README | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/development/mcrl2/README b/development/mcrl2/README deleted file mode 100644 index a6e39d196a..0000000000 --- a/development/mcrl2/README +++ /dev/null @@ -1,5 +0,0 @@ -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. |