On the use of formal techniques for validation

Document Type

Conference Proceeding

Publication Date

1-1-1998

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.

Identifier

84873809582 (Scopus)

ISBN

[0818684704, 9780818684708]

Publication Title

Digest of Papers 28th Annual International Symposium on Fault Tolerant Computing Ftcs 1998

External Full Text Location

https://doi.org/10.1109/FTCS.1998.689490

First Page

390

Last Page

399

Volume

1998-January

Grant

DABT63-96-C-0044

Fund Ref

Defense Advanced Research Projects Agency

This document is currently not available here.

Share

COinS