kind2

Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
IN THIS PACKAGE
Empty package map