Software on the edge

Victor L. Winter

Research output: Contribution to conferencePaper


Formal methods provide what, by a growing number of experts, is considered to be the best approach for making the software construction process more reliable. What makes formal methods so attractive, from a reliability standpoint, is that one has the ability to conclude, with mathematical certainty, that a software component is correct. Formal methods is faced with two problems with respect to reliability: accurate formalization of an informal problem description; and the ability to verify the correctness of a piece of software that has been developed. Incremental software development processes such as those possible via refinement transformations greatly simplify verification, making the construction of various high-assurance systems achievable.

Original languageEnglish (US)
Number of pages2
StatePublished - 1997
EventProceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can
Duration: Oct 21 1996Oct 22 1996


OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Software on the edge'. Together they form a unique fingerprint.

  • Cite this

    Winter, V. L. (1997). Software on the edge. 57-58. Paper presented at Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, .