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

Renaming #29

Closed backesj closed 8 years ago

agacek commented 8 years ago

Merged as f77e459af7265f2050fe846ac9ac972b5d1ce58e.