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.