Login / Signup

Representing Circuits More Efficiently in Symbolic Model Checking.

Jerry R. BurchEdmund M. ClarkeDavid E. Long
Published in: DAC (1991)
Keyphrases
  • symbolic model checking
  • model checking
  • binary decision diagrams
  • orders of magnitude
  • model checker
  • multi agent
  • search algorithm
  • formal verification
  • partial observability
  • conformant planning