Verifying Safety of Fault-Tolerant Distributed Components.

Rabéa Ameur-Boulifa Raluca Halalai Ludovic Henrio Eric Madelaine

Published in: FACS (2011)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
distributed computing
databases
state machine
digital libraries
software components
interconnection networks
high assurance