issues
search
loonwerks
/
jkind
JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52
stars
32
forks
source link
updating horrible spacing
#38
Closed
lgwagner
closed
7 years ago
lgwagner
commented
7 years ago
you're welcome
agacek
commented
7 years ago
Thanks
you're welcome