thebeanerd / jkind Goto Github PK
View Code? Open in Web Editor NEWThis project forked from loonwerks/jkind
JKind - An infinite-state model checker for safety properties in Lustre
Home Page: http://loonwerks.com/tools/jkind.html
License: BSD 3-Clause "New" or "Revised" License