150 citations · 619 across the 52 of their papers we have counts for
3 papers · 1 filter
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…
How to Complete an Interactive Configuration Process?
Mikolas Janota, Goetz Botterweck, Radu Grigore +1
When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a confi…
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…