25 citations · 36 across the 4 of their papers we have counts for
1 paper · 1 filter
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…