research
∙
06/26/2019
Ilinva: Using Abduction to Generate Loop Invariants
We describe a system to prove properties of programs. The key feature of...
research
∙
07/12/2018