GitHub repository: sybila/biodivine-hctl-model-checker
Primary language: Rust
Description: Symbolic HCTL model checker for Boolean networks