Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Cost Effective Uses of Formal Methods in Verification and Validation

Published

Author(s)

D. Richard Kuhn, Ramaswamy Chandramouli

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.
Conference Dates
October 22-23, 2002
Conference Location
Undefined
Conference Title
Foundations Verification and Validation Workshop

Keywords

automated testing, formal methods, modeling and simulation, software assurance, software testing, verification and validation

Citation

Kuhn, D. and Chandramouli, R. (2002), Cost Effective Uses of Formal Methods in Verification and Validation, Foundations Verification and Validation Workshop, Undefined (Accessed June 25, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created September 30, 2002, Updated October 12, 2021