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

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