15 citations · 35 across the 5 of their papers we have counts for
1 paper · 2 filters
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…