Confessions of a formal methodist

Authors:
Michael G. Hinchey
Affiliations:
Software Verification Research Centre, The University of Queensland, St. Lucia, Queensland
Venue:
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Year:
2003

Citing 8
Cited 4

No Silver Bullet Essence and Accidents of Software Engineering

Computer
Applications of Formal Methods

Applications of Formal Methods
Formal Methods for Real-Time Computing

Formal Methods for Real-Time Computing
High-Integrity System Specification and Design

High-Integrity System Specification and Design
Ten Commandments of Formal Methods

Computer
Seven More Myths of Formal Methods

IEEE Software
The use of industrial-strength formal methods

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Challenges in the successful transfer of formal methods technology into industrial applications

Information and Software Technology

Ten Commandments of Formal Methods ...Ten Years Later

Computer
Desert Island Column

Automated Software Engineering
Experimental comparison of the comprehensibility of a UML-based formal specification versus a textual one

EASE'07 Proceedings of the 11th international conference on Evaluation and Assessment in Software Engineering
OCE: an online colaborative editor

ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

The author, a confirmed formal methodist, while not abandoning his adherence to this "religion," concedes that formal methods alone will not save the day, and that a number of other approaches have been, must be, and will continue to be, of relevance in the development of safetycritical systems. These, however, are not incongruous or antithetical to the application of formal methods.