Ada Compiler Validation Summary Report:
Compiler Name: ICC Ada, Release 5.0
Certificate Number: 880708W1.09139
Host: Target:
MicroVAX 2000 under Intel i80960KB
VMS, Version 4.7 (bare machine)
Testing Completed 19 July 1988 Using ACVC 1.9
This report has been reviewed and is approved.
signed
Ada Validation Facility
Steven P. Wilson
Technical Director
ASD/SCEL
Wright-Patterson AFB OH 45433-6503
signed
Ada Validation Organization
Dr. John F. Kramer
Institute for Defense Analyses
Alexandria VA 22311
signed
Ada Joint Program Office
Virginia L. Castor
Director
Department of Defense
Washington DC 20301
|