Paper: Applying Formal Methods Informally

Citation

• M. Bishop, B. Hay, and K. Nance, “Applying Formal Methods Informally,” Proceedings of the 44th Hawaii International Conference on System Sciences pp. 1–8 (Jan. 2011).

Paper

• Published version web page, paper paywalled at IEEE Explore: [DOI] [URL]
• Authors’ final version:
  • Local: [PDF] [PS]
  • UC Repository: [eScholarship]

Abstract

While many problems associated with software development and the associated vulnerabilities are well documented and discussed, there is a distinct and obvious lack of consensus on the means to overcome and remedy these identified issues. This paper introduces the idea of integrating the concepts of formal methods into the programming process from the beginning. This method of applying formal methods informally has the potential to change the programming paradigm to include formal methods; and, when formal methods cannot be applied, an ancillary application of the philosophy and underlying foundational concepts to move towards a culture of more secure programming.

Bibliographic Information: [BibTeX] [RIS]
DOI: 10.1109/HICSS.2011.71