An Invitation to Formal Methods

In a roundtable discussion, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries and others discuss the viability of formal methods in providing software reliability. Formal methods offer mathematical analysis of software using a mathematically based model.

Saved in:
Bibliographic Details
Published inComputer (Long Beach, Calif.) Vol. 29; no. 4; pp. 16 - 30
Main Authors Bowen, J.P., Butler, R.W., Dill, D.L., Glass, R.L., Gries, D., Hall, A.
Format Journal Article
LanguageEnglish
Published New York IEEE 01.04.1996
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Air traffic control
Application software
Bowen, Jonathan P
Butler, Ricky W
Computer industry
Costs
Dill, David L
Glass, Robert L
Industrial training
Mathematical models
Product development
Product testing
Reliability
Software
Software design
Software maintenance
Software quality
Software reliability
Software systems
Software testing
Online AccessGet full text

Cover

More Information
Summary:In a roundtable discussion, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries and others discuss the viability of formal methods in providing software reliability. Formal methods offer mathematical analysis of software using a mathematically based model.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.1996.488298