A note on program reliability

  • Authors:
  • Jim Horning

  • Affiliations:
  • Xerox Research Center, Palo Alto, CA

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 1979

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.