chsticksel/kind2

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

语言：OCaml · GitHub 星标：1 · Fork：13

在 GitHub 上查看原仓库