Evolving directions in formal methods

Author

Kuhn, D. Richard

Author_Institution

Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA

fYear

1997

fDate

16-19 Jun 1997

Firstpage

127

Lastpage

128

Abstract

Formal methods have demonstrated their effectiveness in a number of application areas, but are still not widely used in the computing industry. Advances in theorem proving tools, particularly those combining model checking with traditional interactive proof techniques are reducing the cost of formal techniques. Although traditionally used for analyzing the correctness of specifications against requirements (and to a lesser extent the correctness of source code), formal methods can help reduce the cost of test generation, making formal methods more cost effective

Keywords

program testing; program verification; software cost estimation; software engineering; theorem proving; computing industry; cost effectiveness; evolving directions; formal methods; formal specifications; interactive proof techniques; model checking; requirements analysis; source code correctness; test generation; theorem proving tools; Application software; Automatic testing; Computer industry; Cost function; Error correction; Formal specifications; NIST; Programming; Software testing; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1997. COMPASS '97. Are We Making Progress Towards Computer Assurance? Proceedings of the 12th Annual Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

0-7803-3979-7

Type

conf

DOI

10.1109/CMPASS.1997.613289

Filename

613289