Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level.

Ha Thi Thu Doan Kazuhiro Ogata François Bonnet

Published in: ICDCS (2017)

Keyphrases

meta level
model checking
temporal logic
computational complexity
verification method
learning algorithm
dynamic programming
probabilistic model
distributed problem solving
deterministic finite automaton
multi agent
np hard
domain knowledge
d objects