Sign in Sign up

cargo

smc_scan_promela

SCAN statistical model checker

Activity

Latest release: 21h 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.2.1` patch	Sep 14, 2026
`0.2.0` unknown	Jul 13, 2026
`0.1.1` unknown	Apr 22, 2026
`0.1.0` unknown	Apr 12, 2026

Repository

convince-project/scan

Forks: 4
Open issues: 0
Language: Rust

Dependencies (12)

Depends on

0.2.1

Used by

1

Supply-chain exposure

1 tracked projects depend on this, <1% of every package we track.

Insights

Releases per month

last 12 months

Release mix

patch 1
unknown 3

4 releases

Dependencies over time

per release

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More