Ada Compiler Validation Summary Report: Certificate Number: 900726W1. 11021, Verdix Corporation, VADS VAX/VMS Greater Than or Equal to 68K, VMS 5.2, VAda-110-03125, Version 6.0, MicroVAX 3100 Greater Than or Equal to MVME147 (Motorola 68030)

Abstract

Verdix Corporation, VADS VAX/VMS = 68K, VMS 5.2, VAda-110-03125, Version 6.0, Wright-Patterson AFB, OH; MicroVAX 3100, VAX/BMS V5.2 (Host) to MVME147 (Motorola 68030), bare machine (Target), ACVC 1.11.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 22, 1991
Accession Number
ADA233277

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Assembly Languages
  • Compilers
  • Computer Programming
  • Computers
  • Corporations
  • Directives
  • Directories
  • High Level Languages
  • Host Computers
  • Language
  • Law
  • Machine Languages
  • Magnetic Tape
  • Multiple Access
  • Programming Languages
  • Specifications
  • Standards

Readers

  • Software Verification and Validation.