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 language | English (US) |
---|---|
Pages | 57-58 |
Number of pages | 2 |
State | Published - 1997 |
Event | Proceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can Duration: Oct 21 1996 → Oct 22 1996 |
Other
Other | Proceedings of the 1996 High-Assurance Systems Engineering Workshop |
---|---|
City | Niagara, Can |
Period | 10/21/96 → 10/22/96 |
ASJC Scopus subject areas
- General Engineering