FORTRAN编译程序验证系统
FORTRAN compiler validation system
FCVS
安装验证程序
installation verification procedure
并行程序验证
parallel program verification
计算机程序验证
computer program verification
配置项验证程序
configuration item verification procedures
用户程序验证设施
user program verification facility
自动程序验证
automatic program verification
自动程序验证系统
automatic program verification system
自动化程序验证器
automated program verifier
程序安全性验证
program security validation
程序开发及验证
Program development and verification
程序正确性验证
proof of program correctness
档案验证公用程序
file verification utility
可靠性验证测试程序
RVTP Reliability Verification Test Program