TY  - RPRT
TI  - Counterexample-Guided k-Induction Verification for Fast Bug Detection
AU  - Mikhail Y. R. Gadelha
AU  - Lucas C. Cordeiro
AU  - Denis A. Nicole
PY  - 2018
UR  - https://arxiv.org/abs/1706.02136
ID  - 1706.02136
ER  -