Login / Signup
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms.
Igor Konnov
Marijana Lazic
Helmut Veith
Josef Widder
Published in:
CoRR (2016)
Keyphrases
</>
fault tolerant
distributed systems
fault tolerance
interconnection networks
safety critical
state machine
load balancing
learning algorithm
high assurance
multi agent
data structure
mobile agents