Paper

Model Checking Embedded C Software Using k-Induction and Invariants

ROCHA, HERBERT ; ISMAIL, HUSSAMA ; CORDEIRO, LUCAS ; Barreto, Raimundo . Model Checking Embedded C Software Using k-Induction and Invariants. In: 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguacu. 2015 Brazilian Symposium on Computing Systems Engineering (SBESC). p. 90-95.

2015

Created by Lattes PostCaptcha Importer at 2018-05-31 17:28:57.0.
Simplified Graph of Associations
Quid