Interpolants and Symbolic Model Checking.

Kenneth L. McMillan

Published in: VMCAI (2007)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
temporal logic
symbolic representation
deterministic domains
model checker
binary decision diagrams
software engineering
markov chain