Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "model-based" keyword

modelator 0.4.2
A framework and tools for model-based testing.
10 versions - Latest release: over 4 years ago - 2 dependent packages - 14 dependent repositories - 39.3 thousand downloads total - 60 stars on GitHub - 2 maintainers
protest-stateful 1.1.0
Stateful property testing DSL for Protest - test state machines, concurrent systems, and complex ...
2 versions - Latest release: 6 months ago - 44 downloads total - 1 maintainer
Related Keywords
testing 2 tla 1 model 1 abstraction 1 model-based-testing 1 model-checking 1 rust 1 tlaplus 1 property-based 1 quickcheck 1 stateful 1