embedded ANSI-C software
SMT-based bounded model checking for embedded ANSI-C software
FREE-DOWNLOAD [PDF] L Cordeiro, B Fischer… – 2009 research/ACM …, 2009 Abstract—Propositional bounded
model checking has been applied successfully to verify embedded software but is limited by the
increasing propositional formula size and the loss of structure during the translation.