TY  - RPRT
TI  - Safety Verification and Refutation by k-invariants and k-induction (extended version)
AU  - Martin Brain
AU  - Saurabh Joshi
AU  - Daniel Kroening
AU  - Peter Schrammel
PY  - 2015
UR  - https://arxiv.org/abs/1506.05671
ID  - 1506.05671
ER  -