For the literature survey we made a list of the claims made in the literature about the benefits, limitations and barriers to formal methods. We then assessed the claims made in terms of rational argument and reported experimental evidence. We concluded that the main reasons for the lack of uptake of formal methods are the use of mathematics and perhaps the lack of tools. It was thus possible to compare the results of the literature survey with those of the industrial survey.