Achieving earlier verification closure using advanced formal verification.

Published in: FMCAD (2010)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
temporal logic
symbolic model checking
open source
web intelligence
asynchronous circuits
program slicing
functional verification