Digital Version of Green's Theorem and its Application to The Coverage Problem in Formal Verification

Eli Appleboim Emil Saucan

Published in: CoRR (2003)

Keyphrases

formal verification
model checking
digital topology
model checker
bounded model checking
automated verification
symbolic model checking
von neumann
linear temporal logic
program slicing
dynamic programming
orders of magnitude
temporal logic
theorem proving