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:
Published in | Computer (Long Beach, Calif.) Vol. 29; no. 4; pp. 16 - 30 |
---|---|
Main Authors | , , , , , |
Format | Journal Article |
Language | English |
Published |
New York
IEEE
01.04.1996
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |