PACKAGE NAME:  mcrl2-201409.1-i486-2_slack.txz
PACKAGE MIRROR:  http://slackonly.com/pub/packages/14.1-x86/
PACKAGE LOCATION:  ./development/mcrl2
PACKAGE SIZE (compressed):  7212 K
PACKAGE SIZE (uncompressed):  43690 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
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: