About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
ICSE 1978
Conference paper
Tutorial session 3B: Prospects for program verification
Abstract
This session is composed of three tutorial talks on program verification. No written versions of the talks were prepared since the material is already available in the literature. However, an abstract and brief bibliography is given below for each talk. Program verification work has existed as a research area long enough that most programmers and computer scientists are well aware of it. However, there is a lack of perspective and agreement as to the area's relevance to Software Engineering, Its long and short term promise, and the technical achievements and difficulties. These tutorials are an attempt to expose enough of the technical material of program verification that the audience can begin to develop their own opinion on the issues.