research
∙
05/31/2021
Diffy: Inductive Reasoning of Array Programs using Difference Invariants
We present a novel verification technique to prove interesting propertie...
research
∙
02/23/2020
Verifying Array Manipulating Programs with Full-Program Induction
We present a full-program induction technique for proving (a sub-class o...
research
∙
07/12/2017