Title :
On the use of formal techniques for validation
Author :
Suri, N. ; Sinha, P.
Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., University Heights, NJ, USA
Abstract :
The traditional use of formal methods has been for the verification 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 verification 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 specific fault injection experiments for validation.
Keywords :
formal verification; transport protocols; dependable protocols; fault injection based validation; formal techniques; formal verification procedures; graph structures; validation; Analytical models; Computational Intelligence Society; Computer applications; Costs; Electronic mail; Life testing; Protocols; State-space methods; Stress; System testing;
Conference_Titel :
Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on
Conference_Location :
Munich, Germany
Print_ISBN :
0-8186-8470-4
DOI :
10.1109/FTCS.1998.689490