Presentations at the RADC/ARPA Invitational DOD/Industry Conference on Software Verification and Validation August 3, 4, 5 1976.

Abstract

Original and previously published papers are presented that define the state-of-the-art in software verification and validation. The papers, in general, cover the spectrum from large scale software system verification through working validation tools to Symbolic Execution and the theoretical proof of correctness advances. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 05, 1976
Accession Number
ADA033625

Entities

Organizations

  • Rome Laboratory

Tags

Communities of Interest

  • C4I
  • Cyber
  • Engineered Resilient Systems
  • Ground and Sea Platforms
  • Sensors
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Command And Control
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Information Science
  • Operating Systems
  • Programming Languages
  • Software Design
  • Software Development
  • Software Testing
  • Test And Evaluation
  • Test Methods
  • Trees (Data Structures)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Academic Conference Management
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.