TY  - RPRT
TI  - Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space
AU  - Mikhail R. Gadelha
AU  - Felipe R. Monteiro
AU  - Enrico Steffinlongo
AU  - Lucas C. Cordeiro
AU  - Denis A. Nicole
PY  - 2019
UR  - https://arxiv.org/abs/1904.02501
ID  - 1904.02501
ER  -