search

usi-verification-and-security / golem

Solver for Constrained Horn Clauses
MIT License
34 stars 7 forks source link

Transition subinvariant #31

Closed BritikovKI closed 1 year ago