Login / Signup

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.

Armin BiereEdmund M. ClarkeRichard RaimiYunshan Zhu
Published in: CAV (1999)
Keyphrases
  • symbolic model checking
  • binary decision diagrams
  • safety analysis
  • model checking
  • partial observability
  • software engineering
  • power consumption
  • multi agent
  • heuristic search
  • boolean functions
  • formal verification