Polynomial Formal Verification of Multipliers.

Martin Keim Michael Martin Bernd Becker Rolf Drechsler Paul Molitor

Published in: VTS (1997)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
model checker
program slicing
temporal logic
symbolic model checking
low order
lower bound
object oriented
domain specific
lagrangian relaxation
functional verification