A case-study in component-based mechanical verification of fault-tolerant programs.

Sandeep S. Kulkarni John M. Rushby Natarajan Shankar

Published in: WSS (1999)

Keyphrases

fault tolerant
fault tolerance
distributed systems
symbolic execution
hardware designs
high assurance
case study
load balancing
state machine
high availability
model checking
mobile agent system
low cost
safety critical