farif / kind2 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kind2-mc/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Home Page: https://kind.cs.uiowa.edu
License: Apache License 2.0