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