Model Checking of Distributed Algorithms Using Synchronous Programs.

Erwan Jahier Karine Altisen Stéphane Devismes Gabriel B. Sant'Anna

Published in: SSS (2023)

Keyphrases

model checking
temporal logic
finite state machines
distributed systems
transition systems
computational complexity
orders of magnitude
formal verification
model checker
verification method
artificial intelligence
graph theory
finite state
epistemic logic
temporal properties
reachability analysis