Formally Verifying Fault Tolerant System Designs.

Cinzia Bernardeschi Alessandro Fantechi Luca Simoncini

Published in: Comput. J. (2000)

Keyphrases

fault tolerant
fault tolerance
distributed systems
load balancing
state machine
high availability
safety critical
model checking
data streams
interconnection networks
fault isolation
high assurance