Model Checking Embedded C Software Using k-Induction and Invariants
JFORTES: Java Formal Unit TESt Generation
Raimundo da Silva Barreto
EDUARDO VALENTIN
LARISSA BENTES
LUCAS CORDEIRO
HUSSAMA ISMAIL