A Proof Assistant for Symbolic Model-Checking.

Julian C. Bradfield

Published in: CAV (1992)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
deterministic domains
binary decision diagrams
conformant planning
model checker
temporal logic
symbolic representation
pattern mining