@inproceedings{d39e4d2d5ee94f4eb6d31536b39d82cc,
title = "Seven more myths of formal methods: Dispelling industrial prejudices",
abstract = "For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] exaznined a number of {\textquoteleft}myths{\textquoteright} concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples.",
author = "Bowen, {Jonathan P.} and Hinchey, {Michael G.}",
note = "Publisher Copyright: {\textcopyright} 1994, Springer Verlag. All rights reserved.; 2nd International Symposium of Formal Methods Europe, FME 1994 ; Conference date: 24-10-1994 Through 28-10-1994",
year = "1994",
doi = "10.1007/3-540-58555-9_91",
language = "English",
isbn = "9783540585558",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "107--117",
editor = "Maurice Naftalin and Tim Denvir and Miquel Bertran",
booktitle = "FME 1994",
}