Why Engineers Should Consider Formal Methods

Authors:
Holloway C. Michael
Affiliations:
-
Venue:
Why Engineers Should Consider Formal Methods
Year:
1997

Citing 0
Cited 2

Ten commandments revisited: a ten-year perspective on the industrial application of formal methods

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Formal specification and refinement of a safe train control function

Formal methods for embedded distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.