Cost Effective Use of Formal Methods in Verification and Validation Foundations

Published

October 1, 2002

Author(s)

D. Richard Kuhn, Ramaswamy Chandramouli, R W. Butler

Abstract

Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence of undesirable system behavior. But it is widely recognized that these methods are expensive, and their use has been limited largely to high-risk areas such as security and safety. This paper focuses on cost-effective applications of formal techniques in V&V, particularly recent developments such as automatic test generation and use of formal methods for analyzing requirements and conceptual models without a full-blown formal verification. We also discuss experience with requiring the use of formal techniques in standards for commercial software.

Proceedings Title

02 V&V Workshop

Conference Dates

October 22-23, 2002

Conference Location

Laurel, MD, USA

Pub Type

Conferences

Citation

Kuhn, D. , Chandramouli, R. and Butler, R. (2002), Cost Effective Use of Formal Methods in Verification and Validation Foundations, 02 V&V Workshop, Laurel, MD, USA (Accessed April 20, 2024)