Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN.

Shouki Sakamoto Kazuhiro Ogata

Published in: DSA (2018)

Keyphrases

model checking
dynamic programming
search strategy
learning algorithm
finite state
optimal solution
mutual exclusion
multi agent
computational complexity
search space
np hard
distributed systems
temporal logic
reactive systems
verification method
deterministic finite automaton