17 citations · 48 across the 18 of their papers we have counts for
1 paper · 1 filter
Azadeh Farzan, Zachary Kincaid
This paper presents a new method for automatically generating numerical invariants for imperative programs. Given a program, our procedure computes a binary input/output relation o…