Stanford Pascal Verifier user manual

  • Authors:
  • David C. Luckham;Steven M. German;Friedrich W. von Henke;Richard A. Karp;P. W. Milne;Derek C. Oppen;Wolfgang Polak;William L. Scherlis

  • Affiliations:
  • -;-;-;-;-;-;-;-

  • Venue:
  • Stanford Pascal Verifier user manual
  • Year:
  • 1979

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Stanford PASCAL verifier is an interactive program verification system. It automates much of the work necessary to analyze a program for consistency with its documentation, and to give a rigorous mathematical proof of such consistency or to pin-point areas of inconsistency. It has been shown to have applications as an aid to programming, and to have potential for development as a new and useful tool in the production of reliable software.