Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto. Model Checking Embedded C Software Using k-Induction and Invariants. In 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015, Foz do Iguacu, Brazil, November 3-6, 2015. pages 90-95, IEEE, 2015. [doi]
Abstract is missing.