机译:ada编译器验证摘要报告:证书编号:910920W1.11209 Verdix Corporation,VaDs mIps => R3000,版本6.1,Vada-110-62620,mIps RC3230(RIsC / os 4.52)(主机)到洛克希德桑德斯sTaR mVp(目标)。
Ada programming language; Compilers; Validation summary reports; Standardization; Test and evaluation; Computer program verification;