Mirrors
/
slackbuilds-current
mirror of https://github.com/Ponce/slackbuilds.git
5
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
48577 Commits
613 Branches
809 Tags
301 MiB
 
 
 
 
 
 
Tree: aeb81b74d9
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'aeb81b74d9'
${ noResults }
slackbuilds-current/development/mcrl2
Ryan P.C. McQuen 8ef65b21fe
development/mcrl2: Orphan build. 		9 years ago
..
README development/mcrl2: Fix invalid chars in desc. 10 years ago
mcrl2.SlackBuild development/mcrl2: Change email. 9 years ago
mcrl2.info development/mcrl2: Orphan build. 9 years ago
slack-desc development/mcrl2: Fix invalid chars in desc. 10 years ago

README 

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.