GitHub repository: Ecdar-SW5/Reveaal
Primary language: Rust
Description: A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.