Skip to main content
Open Access Publications from the University of California

Applying Formal Methods Informally

  • Author(s): Bishop, Matt
  • Hay, Brian
  • Nance, Kara
  • et al.

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.

Many UC-authored scholarly publications are freely available on this site because of the UC Academic Senate's Open Access Policy. Let us know how this access is important for you.

Main Content
Current View