Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : modelator
Framework for Model Based Testing
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/modelator
Keywords: testing, model based testing, formal method, model checker, tla, apalache, tlc, blockchain, cosmos, tlaplus
License: Apache-2.0
Latest release: over 1 year ago
First release: over 2 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 118 last month
Stars: 77 on GitHub
Forks: 9 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 13 days ago