Challenges in the Formal Verification of Complete State-of-the-Art Processors.

Nathaniel Ayewah Nikhil Kikkeri Peter-Michael Seidel

Published in: ICCD (2005)

Keyphrases

formal verification
model checking
model checker
automated verification
lessons learned
parallel processing
symbolic model checking
bounded model checking
parallel algorithm
web services
temporal logic
high end
program slicing