mu-calculus topic

List mu-calculus repositories

mCRL2

84
Stars
36
Forks
Watchers

The Git repository for the mCRL2 toolset.

verified publisher icon mCRL2org

ltsmin

51
Stars
30
Forks
Watchers

The LTSmin model checking toolset

verified publisher icon utwente-fmt