Formal Verification at Intel.

Published in: LICS (2003)

Keyphrases

formal verification
model checking
model checker
automated verification
computer architecture
bounded model checking
symbolic model checking
program slicing
temporal logic
multi core processors
functional verification