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

Adding read and write advice to jkind api (plus some kind2 stuff) #35

Closed backesj closed 7 years ago

agacek commented 7 years ago

Squashed to master as 9c68d796dec3213c9b1dd3f19893cf446cc595ce