The Status of Verification Technology for the Ada (Trademark) Language.

Abstract

This report provides a detailed research and development plan for the development and deployment of an Ada verification capability. The background, history, and goals of both Ada and verification are discussed. Specific recommendations for integrating verification technology in the software development process (particularly with Ada) are presented. The necessary research items to be pursued in support of the goals are also presented. This report consists of two major sections - the text and supporting appendices and references. The appendices generally describe efforts being undertaken in various areas and are annotated with status and points of contact for further information.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1985
Accession Number
ADA166664

Entities

People

  • Audrey A. Hook
  • Jack F. Kramer
  • Karl A. Nyberg

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Communications Protocols
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Corporations
  • Cybersecurity
  • High Level Languages
  • Information Systems
  • Language
  • Operating Systems
  • Programming Languages
  • Robotics
  • Security
  • Software Development
  • Verification

Readers

  • Business Analytics
  • Software Engineering
  • Software Verification and Validation.