Formal Verification.

Klaus Winkelmann

Published in: VLSI-SOC (2003)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
temporal logic
program slicing
functional verification
domain specific
coloured petri nets
artificial intelligence