research
∙
04/04/2019
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space
We describe and evaluate a novel k-induction proof rule called bidirecti...
share
research
∙
10/29/2018
