A fork of the Git repository for the mCRL2 toolset with an extension for partial model checking.
Primary LanguageC++OtherNOASSERTION