41 citations · 57 across the 4 of their papers we have counts for
1 paper · 1 filter
Adam Betts, Nathan Chong, Pantazis Deligiannis +2
The discovery of inductive invariants lies at the heart of static program verification. Presently, many automatic solutions to inductive invariant generation are inflexible, only a…