Department of Computer Science and Technology

Technical reports

Seven more myths of formal methods

Jonathan P. Bowen, Michael G. Hinchey

December 1994, 12 pages

DOI: 10.48456/tr-357

Abstract

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite great increases in the number of organizations and projects applying 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 examined a number of ‘myths’ concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples.

Full text

PDF (1.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-357,
  author =	 {Bowen, Jonathan P. and Hinchey, Michael G.},
  title = 	 {{Seven more myths of formal methods}},
  year = 	 1994,
  month = 	 dec,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-357.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-357},
  number = 	 {UCAM-CL-TR-357}
}