embedded ANSI-C software


COMPUTER COURSE ONLINE

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.




IEEE PAPER UNITED STATES