自动验证系统
ID
118464
中文名
自动验证系统
外文名
automated verification system
缩略语
备注

术语中文定义

自动验证系统 一种软件工具，以计算机程序及其规格的表示作为输入（可能借助人的帮助），产生该程序的正确与否的证明。

术语英文定义