Login / Signup

Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation.

Manish PandeyRichard RaimiDerek L. BeattyRandal E. Bryant
Published in: DAC (1996)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • bounded model checking
  • evaluation method
  • trajectory data
  • model checker
  • neural network
  • high level
  • symbolic model checking