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:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 137421
Deposited By: ep_importer_pure
Deposited On: 07 Oct 2019 13:00
Refereed?: Yes
Published?: Published
Last Modified: 29 Jan 2020 07:09
URI: https://eprints.lancs.ac.uk/id/eprint/137421

Actions (login required)

View Item View Item