TY  - RPRT
TI  - Model Checking Embedded C Software using k-Induction and Invariants (extended version)
AU  - Herbert Rocha
AU  - Hussama Ismail
AU  - Lucas Cordeiro
AU  - Raimundo Barreto
PY  - 2015
UR  - https://arxiv.org/abs/1509.02471
ID  - 1509.02471
ER  -