Fault injection for formal testing of fault tolerance.

Addresses the use of fault injection for explicitly removing design/implementation faults in complex fault-tolerance algorithms and mechanisms (FTAM), viz, fault-tolerance deficiency faults. Introduction of a formalism to represent the FTAM by a set of assertions; Use of the methodology to extend a debugging tool aimed at testing fault tolerance protocols.