GitHub repository: AzeezDa/ceetle
Primary language: Rust
Description: A Rust Library for defining models in Computational Tree Logic and verifying their semantics