A note on program reliability
J. J. Horning · ACM SIGSOFT Software Engineering Notes · 1979
I introduced a recent pair of lectures [1] with some remarks about program reliability, in the form of an example, a safe prediction, a nightmare, an observation, and a challenge. Although the technical content of these lectures has already been published [2], the introductory remarks have not, and some students were kind enough to suggest that they were worthy of circulation to a wider audience via Software Engineering Notes.