![](/img/cover-not-exists.png)
[IEEE 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Foz do Iguacu, Brazil (2015.11.3-2015.11.6)] 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Model Checking Embedded C Software Using k-Induction and Invariants
Rocha, Herbert, Ismail, Hussama, Cordeiro, Lucas, Barreto, RaimundoYear:
2015
Language:
english
DOI:
10.1109/sbesc.2015.24
File:
PDF, 226 KB
english, 2015