Multi-core symbolic bisimulation minimisation
C C++ Other
Switch branches/tags
Nothing to show
Clone or download
Pull request Compare This branch is 33 commits ahead of utwente-fmt:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
cmake
doc
src
sylvan
.gitignore
.travis.yml
CMakeLists.txt
LICENSE
README.md
update_sylvan.sh

README.md

SigrefMC

SigrefMC is a multi-core implementation of symbolic bisimulation minimisation using signature-based partition refinement.

SigrefMC is developed (© 2015) by the Formal Methods and Tools group at the University of Twente as part of the MaDriD project, which is funded by NWO. Sylvan is licensed with the Apache 2.0 license.

You can contact the main author of SigrefMC at tom@tvandijk.nl. Please let us know if you use SigrefMC in your projects or research.

SigrefMC is available at: https://github.com/utwente-fmt/sigrefmc