Program Verification,

Abstract

Computer programs may be regarded as formal mathematical objects whose properties are subject to mathematical proof. Program verification is the use of formal, mathematical techniques to debug software and software specifications. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1984
Accession Number
ADA144360

Entities

People

  • J. S. Moore
  • R. S. Boyer

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Asymetric Encryption
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Information Processing
  • Language
  • New York
  • Programming Languages
  • Recursive Functions
  • Standards
  • United States

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Theoretical Analysis.