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