Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.

Indranil Saha Suman Roy S. Ramesh

Published in: Proc. IEEE (2016)

Keyphrases

fault tolerant
fault tolerance
formal verification
distributed systems
interconnection networks
orders of magnitude
load balancing
message passing
model checking
distributed databases
graph theory
high availability