Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Primary LanguageOCamlApache License 2.0Apache-2.0