57 citations · 144 across the 48 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.SE2009
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pro…
cs.SE2009
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva
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…