Flat Acceleration in Symbolic Model Checking.

Sébastien Bardin Alain Finkel Jérôme Leroux Philippe Schnoebelen

Published in: ATVA (2005)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
deterministic domains
binary decision diagrams
model checker
multi agent
temporal logic
formal specification