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.


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
ID Code:
Deposited By:
Deposited On:
07 Oct 2019 13:00
Last Modified:
21 Nov 2022 17:05