Symbolic model checking of institutions.

Francesco Viganò Marco Colombetti

Published in: ICEC (2007)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
deterministic domains
symbolic representation
binary decision diagrams
model checker
temporal logic
data mining