机译:ada编译器验证摘要报告:证书编号:910920W1.11214 Verdix Corporation,VaDs VaX Vms => amD 29K,Vada-110-03525,版本6.04,microVaX 3600(主机)到Ironics IV9001板(目标)。 mVmE147(目标)。
Ada programming language; Compilers; Validation summary reports; Standardization; Test and evaluation; Computer program verification;