A Formal Verification Approach for IP-based Designs.

Daniel Karlsson Petru Eles Zebo Peng

Published in: FDL (2004)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
program slicing
design space
object oriented
formal specification
ip address