请问「程序验证」是什么意思？
关于「程序验证」
拼音 chéng xù yàn zhèng，注音 ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ。数据更新于 2026-07-13 14:35:20。
| 拼音字母 | cheng xu yan zheng |
|---|---|
| 拼音首字母 | cxyz |
| 注音符号 | ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ |
| 注音首符号 | ㄔㄒㄧㄓ |
扩展释义
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
拆字组词
相关词语
- 乙基香草醛是什么意思？
- 优等生是什么意思？
- 八都是什么意思？
- 刘大勇是什么意思？
- 南阳河是什么意思？
- 卢正新是什么意思？
- 双点魮脂鲤是什么意思？
- 夏娃的秘密是什么意思？
- 大庆晚报是什么意思？
- 天真烂熳是什么意思？
- 姚忠宝是什么意思？
- 孤身是什么意思？
- 己内酯是什么意思？
- 开过渡是什么意思？
- 张卫是什么意思？
- 意者是什么意思？
- 扯旗放炮是什么意思？
- 我们的爱情是什么意思？
- 水红木叶是什么意思？
- 汽修厂是什么意思？
- 流花中学是什么意思？
- 溜姑乡是什么意思？
- 潘云云是什么意思？
- 渡神级是什么意思？
- 矮甲鲶是什么意思？
- 罗婺是什么意思？
- 绝缘介质是什么意思？
- 维罗生态砖是什么意思？
- 董晓佳是什么意思？
- 西藏异痂蝗是什么意思？
- 赤苍藤属是什么意思？
- 超时空妖妃是什么意思？
- 郝建军是什么意思？
- 陈慰峰是什么意思？
- 阳坡是什么意思？
- 闫玉敏是什么意思？
- 陈明生是什么意思？
- 韩晓彤是什么意思？
- 风轮菜是什么意思？
- 黄绿组夜蛾是什么意思？
- 陇南市财政局是什么意思？
- 剑碟是什么意思？
- 孟徒徒尤匹是什么意思？
- 猴魁焖饭是什么意思？
- 刹车装置是什么意思？
- 磨毛是什么意思？
- 拉吉舍夫是什么意思？
- 南海下鱵是什么意思？
- 金银莲是什么意思？
- 红香藤是什么意思？