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.