Functional Extension of Symbolic Model Checking.

Published in: CAV (1991)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
conformant planning
symbolic representation
model checker
search algorithm
decision problems
situation calculus
formal specification