18 citations · 22 across the 7 of their papers we have counts for
3 papers · 1 filter
Industrial-Strength Formally Certified SAT Solving
Ashish Darbari, Bernd Fischer, Joao Marques-Silva
Boolean Satisfiability (SAT) solvers are now routinely used in the verification of large industrial problems. However, their application in safety-critical domains such as the rail…
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…
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…