GitHub repository: kind2-mc/kind2
Primary language: OCaml
Description: Multi-engine SMT-based automatic model checker for safety properties of Lustre programs