你
请解释一下「程序验证」这个词的含义。
助手
程序验证
chéng xù yàn zhèng · ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ
cheng xu yan zheng
cxyz
ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ
2026-07-15 18:15:27
扩展释义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
友情链接
抓书网
短词网
书号查询
星云网
ren是什么意思？
黄纹菊蝗是什么意思？
J是什么意思？
瀼河乡是什么意思？
念奴娇·赤壁怀古是什么意思？
成都天气预报30天是什么意思？
沼猪殃殃是什么意思？
新宾天气预报30天是什么意思？
tcp是什么意思？
鱼肉牛奶粥是什么意思？
独照是什么意思？专家解读 权威解读「独照」的含义、读音与用法，一文读懂词语内涵。 dú zhào 2026-06-30 15:40:40
布兰妮小甜甜是什么意思？
关于动物的早安文案是什么意思？
西岗天气预报30天是什么意思？
深入学习贯彻信访工作条例PPT党课课件.pptx是什么意思？
不锈钢圆管重量在线计算公式是什么意思？