Kind 2 is a multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs.
Files
Latest commit
This branch is 1005 commits behind kind2-mc/kind2:develop.
docker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||