Selling Formal Methods to Industry

This paper addresses some of the questions involved in attempting to introduce formal methods into industry on a broader basis. Marketing aspects and the importance of teaching programmers how to use formal methods are stressed.