AbstractFormal 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.