Software on the edge

Victor L. Winter

Research output: Contribution to conferencePaper

Abstract

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)
Pages57-58
Number of pages2
Publication statusPublished - Jan 1 1997
EventProceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can
Duration: Oct 21 1996Oct 22 1996

Other

OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can
Period10/21/9610/22/96

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

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, .