On the Use of Formal Techniques for Validation

The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional validation techniques, we introduce a novel approach to utilize formal veri cation procedures to drive fault injection based validation of dependable protocols. The paper develops graph structures for representation of information generated through formal processes, as well as a formal framework that facilitates the formulation of speci c fault injection experiments for validation.

• Type: Conference
• Year: 1998
• Where: FTCS
• Authors: Neeraj Suri, Purnendu Sinha
• Keywords: Fault Injection, Formal Veri Cation, FTCS 1998, Veri Cation