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
StatePublished - 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

Formal methods
Software engineering

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

Software on the edge. / Winter, Victor L.

1997. 57-58 Paper presented at Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, .

Research output: Contribution to conferencePaper

Winter, VL 1997, 'Software on the edge', Paper presented at Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, 10/21/96 - 10/22/96 pp. 57-58.
Winter VL. Software on the edge. 1997. Paper presented at Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, .
Winter, Victor L. / Software on the edge. Paper presented at Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, .2 p.
@conference{3d9bb58ddca0404eb01f39d7e0c5fba3,
title = "Software on the edge",
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.",
author = "Winter, {Victor L.}",
year = "1997",
month = "1",
day = "1",
language = "English (US)",
pages = "57--58",
note = "Proceedings of the 1996 High-Assurance Systems Engineering Workshop ; Conference date: 21-10-1996 Through 22-10-1996",

}

TY - CONF

T1 - Software on the edge

AU - Winter, Victor L.

PY - 1997/1/1

Y1 - 1997/1/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=0030684486&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030684486&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0030684486

SP - 57

EP - 58

ER -