计算机术语“automated verification system”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	automated verification system
释义	automated verification system 自动验证系统 In software engineering, a software tool that accepts as input a computer program and a representationof its specification, and produces, possibly with human help, a correctness proof or disproof of the program. 软件工程中的一种软件工具,它以计算机程序及其规格的表示作为输入,并(可能借助人的帮助)产生该程序的正确性证明或反驳。参阅automated verification tools。
随便看	Y address Yellow Book YIQ yoke YUV Ydatum line Ydisk Ypunch Z8000 Development Module Z80 microprocessor Z address zero access zero-address instruction zero adjust zero bit (0bit) zero complement zero compression zero condition zero constant zero correction zero elimination zerofill zero fill zero fill attribute zero flag

计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。