Stanford Pascal Verifier User Manual

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1979
Accession Number
ADA071900

Entities

People

  • D. C. Luckham
  • F. W. V. Henke
  • P. W. Milne
  • R. A. Karp
  • S. M. German

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Context Free Grammars
  • Databases
  • Debugging
  • Grammars
  • Language
  • Manuals
  • Production
  • Programming Languages
  • Verification

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Systems Analysis and Design