Symbolic Model Checking for Channel-based Component Connectors.

Sascha Klüppelholz Christel Baier

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

symbolic model checking
model checking
formal verification
partial observability
binary decision diagrams
conformant planning
symbolic representation
model checker
data mining
artificial intelligence
multi agent
temporal logic
formal methods