mCRL2.org
mcrl2.org
[email protected]
Repositories
Issues
Comments
Results
1
repositories owned by
mCRL2.org
mCRL2
84
Stars
36
Forks
Watchers
The Git repository for the mCRL2 toolset.
mCRL2org
model-checker
model-checking
mu-calculus
term-rewriting