Shortest Counterexamples for Symbolic Model Checking of LTL with Past.

Viktor Schuppan Armin Biere

Published in: TACAS (2005)

Keyphrases

symbolic model checking
model checking
temporal logic
model checker
formal verification
temporally extended goals
conformant planning
finite state
partial observability
linear temporal logic
formal methods
formal specification
binary decision diagrams
modal logic
symbolic representation
planning domains