程序正确性证明

更新时间:-- | 阅读量: 282

用严格的数学方法或逻辑语言,对复杂的软件成品质量所作的检验工作。一般程序在调...程序的正确性证明方法即为发现和消除这些隐患而专门设置。由于这项工作涉及逻辑推理和大量的数据处理,困难较多。有些证明方法采用一些推理系统或其他智能模拟方法,实 ...

搜索到与“ 程序正确性证明”相关的文献共 0

查看更多

程序正确性证明相似词

程序正确性证明相关词

程序正确性证明相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号