crates.io "model-based-testing" keyword
itf 0.4.0
Library for consuming Apalache ITF traces10 versions - Latest release: 10 months ago - 39.1 thousand downloads total - 5 stars on GitHub - 2 maintainers
fizzbee-mbt 0.1.1
FizzBee Model Based Testing (MBT) Rust binding2 versions - Latest release: 4 months ago - 61 downloads total - 261 stars on GitHub - 1 maintainer
sxm 0.0.1
A Stream X-Machine library for formal modeling, visualization, and model-based testing.1 version - Latest release: 3 months ago - 31 downloads total - 1 maintainer
quint-connect 0.1.1
A model-based testing framework that connects Quint specifications with Rust applications2 versions - Latest release: 3 months ago - 39 downloads total - 2 maintainers
quint-connect-macros 0.1.1
Procedural macros used by the `quint-connect` crate.2 versions - Latest release: 3 months ago - 47 downloads total - 2 maintainers
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
5
formal-methods
4
rust
2
quint
2
verification
2
tlaplus
2
tla
2
model-checking
1
abstraction
1
model
1
model-based
1
sxm
1
state-machine
1
tla-plus
1
prism
1
pluscal
1
ltl
1
formal-verification
1
formal-languages
1
alloy-analyzer
1
alloy
1
autonomous-testing
1
fizzbee
1
mbt
1
trace
1
serialization
1
apalache
1