slackbuilds_ponce/development/mcrl2/slack-desc

20 lines
925 B
Text
Raw Normal View History

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