Ada Compiler Validation Summary Report: Certificate Number: 910920W1. 11200 Verdix Corporation VADS MIPS, VAda-110-6262, Version 6.1 MIPS RC3230 = MIPS RC3230

Abstract

Verdix Corporation, VADS MIPS, VAda-1 10-6262, Version 6.1, Wright- Patterson AFB, OH, MIPS RC3230, RISC/os 4.52 (Host and Target), ACVC 1.11.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 20, 1991
Accession Number
ADA248256

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Computer Programming
  • Computers
  • Corporations
  • Demographic Cohorts
  • Department Of Defense
  • Directives
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • Test And Evaluation
  • United States

Readers

  • Software Verification and Validation.