Sign in Sign up
cargo

smc_scan

SCAN statistical model checker

cargo View on Cargo github View on Github

Activity

Latest release
1mo ago
Total releases
4
Cadence
~2 months
Last 12 months
4

Reach

Stars
5

Details

License
Apache-2.0
First release
Apr 12, 2026
Releases
Version Released
0.3.1 patch
0.3.0 unknown
0.2.0 unknown
0.1.0 unknown