The industrial uptake of formal methods in computer science: an analysis and a policy proposal

摘要

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 inhib-iting their adoption by industry, which include structural features of the formal methods mar-ketplace. It provides a set of recommendations (directed in the first instance to the British government) to overcome these problems.