Symbolic model checking for channel-based component connectors.

Sascha Klüppelholz Christel Baier

Published in: Sci. Comput. Program. (2009)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
model checker
conformant planning
symbolic representation
planning domains
temporal logic
formal specification
finite state