Software on the edge

Victor L. Winter

Research output: Contribution to conferencePaperpeer-review


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

  • General Engineering


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

Cite this