Login / Signup

Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking.

Srivatsan SrinivasanParminder Singh ChhabraPraveen Kumar JainiAdnan AzizLizy Kurian John
Published in: VLSI Design (1999)
Keyphrases
  • formal verification
  • symbolic model checking
  • model checker
  • model checking
  • temporal logic
  • partial observability
  • formal specification
  • heuristic search
  • markov decision processes
  • description language