aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2/slack-desc
blob: 2f9ed87f4a0ecfd3aa5b2cf96c0acb684dbb6d82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# HOW TO EDIT THIS FILE:
# The "handy ruler" below makes it easier to edit a package description.
# Line up the first '|' above the ':' following the base package name, and
# the '|' on the right side marks the last column you can put a character in.
# You must make exactly 11 lines for the formatting to be correct.  It's also
# customary to leave one space after the ':' except on otherwise blank lines.

     |-----handy-ruler------------------------------------------------------|
mcrl2: mcrl2 (micro Common Representation Language 2)
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 mCRL. Using its accompanying toolset systems can be analysed and
mcrl2: verified automatically.
mcrl2:
mcrl2: http://www.mcrl2.org/
mcrl2:
mcrl2: