activity
20172020
most citedCounterexample-Guided k-Induction Verification for Fast Bug Detection

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space

Mikhail R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo +2

We describe and evaluate a novel k-induction proof rule called bidirectional k-induction (bkind), which substantially improves the k-induction bug-finding capabilities. Particularl…