kind2-mc/kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

语言：OCaml · GitHub 星标：129 · Fork：36

在 GitHub 上查看原仓库