GitHub repository: pouyapd/scan
Primary language: Rust
Description: SCAN statistical model checker