Login / Signup
Formal Verification of Backward Compatibility of Microcode.
Tamarah Arons
Elad Elster
Limor Fix
Sela Mador-Haim
Michael Mishaeli
Jonathan Shalev
Eli Singerman
Andreas Tiemeyer
Moshe Y. Vardi
Lenore D. Zuck
Published in:
CAV (2005)
Keyphrases
</>
formal verification
model checking
forward and backward
bounded model checking
model checker
automated verification
bi directional
symbolic model checking
program slicing
forward backward
functional verification
state space
object oriented
forward search