Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "model-checking" keyword

Top 6.4% on proxy.golang.org
github.com/informalsystems/modelator v0.6.6
Model-based testing tool
12 versions - Latest release: over 1 year ago - 41 stars on GitHub
Top 6.4% on proxy.golang.org
github.com/informalsystems/modelator/go v0.0.0-20220120163956-cecd980d97e6
Model-based testing tool
1 version - Latest release: over 2 years ago - 41 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/y-taka-23/ddsv-go v0.0.0-20200423164506-6605a1e6e26f
A toy deadlock detector written in Go. 🔍
1 version - Latest release: about 4 years ago - 27 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/dalzilio/mcc v1.6.0
High-Level Nets Blaster for the Model-Checking Contest
3 versions - Latest release: over 4 years ago - 7 stars on GitHub
Top 8.6% on proxy.golang.org
github.com/hydroo/gomochex v0.0.0-20130202160955-ac01396f0dcf
discontinued - playground for some model checking experimentation
1 version - Latest release: over 11 years ago - 1 stars on GitHub
Top 6.6% on proxy.golang.org
github.com/go-air/reach v0.1.3 💰
Package reach contains finite state symbolic reachability libraries and tools. All reachability ...
4 versions - Latest release: almost 3 years ago - 20 stars on GitHub
Related Keywords
model-based-testing 2 rust 2 tla 2 tlaplus 2 go 2 verification 1 symbolic 1 simulation 1 safety 1 pdr 1 ic3 1 circuit 1 bmc 1 experimentation 1 pnml 1 petri-net 1 model-checking-contest 1 colored-petri-nets 1 state-machine 1 graphviz 1 golang 1 formal-verification 1 formal-methods 1 deadlock 1 automaton 1