Login / Signup

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.

Sharon BarnerOrna Grumberg
Published in: Formal Methods Syst. Des. (2005)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • formal verification
  • binary decision diagrams
  • symbolic representation
  • temporal logic
  • model checker
  • conformant planning
  • boolean functions