The industrial uptake of formal methods in computer science: An analysis and a policy proposal
G. Cleland, Donald A. MacKenzie · Science and Public Policy · 1995
Formal methods are techniques which draw on mathematics and logic to increase the rigour of computer software development and hardware design. This paper discusses the factors inhibiting their adoption by industry, which include structural features of the formal methods market place. It provides a set of recommendations (directed in the first instance to the British government) to overcome these problems.