The Verification of COBOL Programs

Abstract

This report describes an initial study concerning the feasibility of proving the correctness (i.e., verification) of COBOL programs. The report contains: (1) a study of the COBOL language as related to verification, (2) the syntax and semantics of a subset of COBOL 74 in which to perform experimental verification, (3) design of a system to accomplish COBOL verification in the desired subset, and (4) proof of a sample COBOL program. The conclusion of the report is that COBOL verification is indeed feasible, but must be further engineered if it is to be cost-effective.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 31, 1976
Accession Number
ADA107719

Entities

People

  • J. M. Spitzen
  • L. Robinson
  • M. W. Green
  • R. E. Shostak

Organizations

  • SRI International

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Artificial Intelligence
  • California
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Database Management Systems
  • Debugging
  • Language
  • Mathematical Logic
  • Object Code
  • Operating Systems
  • Programming Languages
  • Structured Programming

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Geochemistry
  • Systems Analysis and Design