Verifying Fault-Tolerant Behavior of State Machines.

Published in: HASE (1997)

Keyphrases

fault tolerant
state machine
state machines
fault tolerance
distributed systems
load balancing
safety critical
finite state machines
model checking
database
database systems
multi agent systems
metadata