The affordable application of formal methods to software engineering

@inproceedings{Davis2005TheAA,
  title={The affordable application of formal methods to software engineering},
  author={James F. Davis},
  booktitle={SIGAda},
  year={2005}
}
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems' Correctness-by-Construction methodology; and (3) an affordable application of a formal methods methodology to software engineering. The cultivated research for this paper included literature reviews of documents found across the Internet and in publications as well as reviews of conference proceedings including the 2004 High Confidence Software… CONTINUE READING