A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking

Rogerio Paludo, Djones Lettnin. A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking. In 17th Latin-American Test Symposium, LATS 2016, Foz do Iguacu, Brazil, April 6-8, 2016. pages 141-146, IEEE, 2016. [doi]

Abstract

Abstract is missing.