Generating BDDs for Symbolic Model Checking in CCS.

Reinhard Enders Thomas Filkorn Dirk Taubner

Published in: Distributed Comput. (1993)

Keyphrases

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