432 citations · 2.3k across the 29 of their papers we have counts for
1 paper · 2 filters
Marc Brockschmidt, Daniel Larraz, Albert Oliveras +2
We present an automated compositional program verification technique for safety properties based on conditional inductive invariants. For a given program part (e.g., a single loop)…