Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors.

Published in: ACM Trans. Design Autom. Electr. Syst. (2012)

Keyphrases

formal verification
program slicing
model checking
symbolic model checking
model checker
automated verification
bounded model checking
computer architecture
fault localization
functional verification
computing power
personal computer
java programs
instruction set
temporal logic
orders of magnitude
object oriented