proxy.golang.org : github.com/dalzilio/mcc

High-Level Nets Blaster for the Model-Checking Contest

Registry - Source - Documentation - JSON
purl: pkg:golang/github.com/dalzilio/mcc
Keywords: colored-petri-nets , model-checking , model-checking-contest , petri-net , pnml
License: GPL-1.0+
Latest release: about 5 years ago
First release: over 5 years ago
Namespace: github.com/dalzilio
Stars: 7 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago

• Readme
• Versions 3
• Dependent Packages 0
• Maintainers 0