Ivy
Ivy: Safety Verification by Interactive Generalization
Presentation
Docs
GitHub
https://gyazo.com/f80daed82f2bbf482d3753acaca8c474
https://gyazo.com/b43b48eadcd7c66999cdcf4d77cbdac3
https://gyazo.com/1dbc5a9b7eee0a91cd80ae515ec7d7ba
Use cases
Reducing Liveness to Safety in First-Order Logic
#Formal_verification