A Case Study: Formal Verification of Processor Critical Properties.

Emmanuel Zarpas

Published in: CHARME (2005)

Keyphrases

formal verification
model checking
functional verification
model checker
desirable properties
bounded model checking
artificial intelligence
case study
automated verification
parallel processing
symbolic model checking
knowledge base
temporal logic
test bed
computer architecture
program slicing