正确性证明
计算机科学技术名词
正确性证明（correctness proof）是2018年公布的计算机科学技术名词。
定义
证明程序满足其规约的过程。
出处
《计算机科学技术名词 》第三版。
参考资料
正确性证明
.术语在线.
最新修订时间：2022-03-10 20:26
条目作者
小编
资深百科编辑
目录
概述
定义
出处
参考资料
Copyright©2024
闽ICP备2024072939号-1