DocumentCode :
3175710
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
fYear :
1998
fDate :
23-25 June 1998
Firstpage :
390
Lastpage :
399
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on
Conference_Location :
Munich, Germany
ISSN :
0731-3071
Print_ISBN :
0-8186-8470-4
Type :
conf
DOI :
10.1109/FTCS.1998.689490
Filename :
689490
Link To Document :
بازگشت