Sign in
Propositional approximations for bounded model checking of partial circuit designs.
Bernd Becker
Marc Herbstritt
Natalia Kalinnik
Matthew Lewis
Juri Lichtner
Tobias Nopper
Ralf Wimmer
Published in:
ICCD (2008)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
propositional logic
linear temporal logic
difference equations
general purpose
probabilistic logic
satisfiability testing
cooperative
logic programming