Generating BDDs for Symbolic Model Checking in CCS.

Reinhard Enders Thomas Filkorn Dirk Taubner

Published in: CAV (1991)

Keyphrases

symbolic model checking
binary decision diagrams
boolean functions
model checking
conformant planning
partial observability
formal verification
planning problems
knowledge compilation
symbolic representation
heuristic search
machine learning
state space