Top 8.6% on proxy.golang.org
proxy.golang.org : github.com/kwesiRutledge/ModelChecking
atomicproposition.go Description: concurrentgamemodel.go Description: transitionsystem.go Description: transitionsystemstate.go Description:
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/kwesi%21rutledge/%21model%21checking
License: MIT
Latest release: over 3 years ago
First release: over 3 years ago
Namespace: github.com/kwesiRutledge
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 15 days ago
Loading...
Readme
Loading...