Symbolic model checking of public announcement protocols.

Tristan Charrier Sophie Pinchinat François Schwarzentruber

Published in: J. Log. Comput. (2019)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
binary decision diagrams
model checker
deterministic domains
temporal logic
data mining
artificial intelligence
search algorithm
orders of magnitude