Program Proving的意思|示意
项目证明
Program Proving的网络常见释义
程序证明 ...之前，实际上还应证明程序是正确的，即证明程序对所有可能的合法输人都能得到正确的结果，这一工作称为程序证明(Program Proving)。这一领域是当前很多计算机科学工作者集中研究的对象，还处于相当初期的阶段。
Program Proving相关短语
1、 analytic program proving 解析程序证明
2、 proving program 验证程序
3、 proving program correct 证明程序正确性 ; 征明程序正确性