On the use of formal techniques for validation

Suri, N. and Sinha, P. (1998) On the use of formal techniques for validation. In: Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing. IEEE, pp. 1-10. ISBN 0818684704

Full text not available from this repository.

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. © 1998 IEEE. All rights reserved.

Item Type:
Contribution in Book/Report/Proceedings
Subjects:
?? FAULT TOLERANCEFORMAL VERIFICATIONSOFTWARE TESTINGFAULT INJECTIONFORMAL FRAMEWORKFORMAL TECHNIQUESFORMAL VERIFICATION PROCEDURESGRAPH STRUCTURESHIGH COSTSFORMAL METHODS ??
ID Code:
137421
Deposited By:
Deposited On:
07 Oct 2019 13:00
Refereed?:
Yes
Published?:
Published
Last Modified:
20 Sep 2023 02:28