Login / Signup
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.
Igor V. Konnov
Marijana Lazic
Helmut Veith
Josef Widder
Published in:
POPL (2017)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
interconnection networks
safety critical
data structure
load balancing
model checking
formal verification
learning algorithm
multimedia
computational complexity
state machine