Top 6.4% on proxy.golang.org
Top 5.5% forks on proxy.golang.org
Top 5.5% forks on proxy.golang.org
proxy.golang.org : github.com/informalsystems/modelator
Model-based testing tool
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/informalsystems/modelator
Keywords:
model-based-testing
, model-checking
, rust
, tla
, tlaplus
License: Apache-2.0
Latest release: over 2 years ago
First release: about 4 years ago
Namespace: github.com/informalsystems
Stars: 41 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago
Loading...
Readme
Loading...