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