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-testing" keyword

View the packages on the crates.io package registry that are tagged with the "model-based-testing" keyword.

modelator 0.4.2
A framework and tools for model-based testing.
10 versions - Latest release: over 3 years ago - 2 dependent packages - 14 dependent repositories - 35.7 thousand downloads total - 60 stars on GitHub - 2 maintainers
itf 0.4.0
Library for consuming Apalache ITF traces
10 versions - Latest release: 2 months ago - 25.4 thousand downloads total - 5 stars on GitHub - 2 maintainers
Related Keywords
rust 2 testing 1 model 1 abstraction 1 model-based 1 tla 1 model-checking 1 tlaplus 1 apalache 1 serialization 1 trace 1