Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms.

Published in: IEEE Trans. Software Eng. (1999)

Keyphrases

fault tolerant
fault tolerance
formal verification
distributed systems
data structure
load balancing
high availability
interconnection networks
state machine