summaryrefslogtreecommitdiff
path: root/development/mcrl2/slack-desc
blob: e541a49b2c41cbf571ae0a366d13d7509feb7d13 (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 ':'.

     |-----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 μCRL. Using its accompanying toolset systems can be analysed and
mcrl2: verified automatically.
mcrl2:
mcrl2: http://www.mcrl2.org/
mcrl2:
mcrl2: