Login / Signup

Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL.

Ales CasarZmago BrezocnikTatjana Kapus
Published in: ED&TC (1996)
Keyphrases
  • symbolic model checking
  • model checking
  • formal verification
  • partial observability
  • conformant planning
  • temporal logic
  • knowledge base
  • search algorithm
  • domain independent
  • modal logic
  • binary decision diagrams