Computation Tree Logic model checker in Rust. Based on "Principles of Model Checking" CTL algorithm.
Primary LanguageRust