An Algebraic Approach to Formal Verification of Microprocessors.

Kanji Hirabayashi

Published in: J. Electron. Test. (2001)

Keyphrases

formal verification
model checking
personal computer
bounded model checking
computer architecture
automated verification
model checker
symbolic model checking
instruction set
algebraic operations
single chip
computing power
program slicing
temporal logic
computer systems
formal specification