Support for Yices 2.6.1

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

Closed lgwagner closed 5 years ago

lgwagner commented 5 years ago

This adds support for nonlinear theories and the use of unsat cores for IVC