Verification of the First Fault-tolerant VAX System.

William F. Bruckert Carlos Alonso James M. Melvin

Published in: Digit. Tech. J. (1991)

Keyphrases

fault tolerant
fault tolerance
distributed systems
high assurance
load balancing
high availability
state machine
model checking
databases
signature verification
interconnection networks
safety critical
mobile agent system
multi agent
distributed environment
fault isolation