Pre-RTL formal verification: an intel experience.

Published in: DAC (2008)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
program slicing
computer architecture
artificial intelligence
web services
fuzzy logic
formal specification
functional verification