更新时间:-- | 阅读量: 282
用严格的数学方法或逻辑语言,对复杂的软件成品质量所作的检验工作。一般程序在调...程序的正确性证明方法即为发现和消除这些隐患而专门设置。由于这项工作涉及逻辑推理和大量的数据处理,困难较多。有些证明方法采用一些推理系统或其他智能模拟方法,实 ...
搜索到与“ 程序正确性证明”相关的文献共 0条
《人大法律评论》
《海峡法学》
《组织人事学研究》
《计算力学学报》
《热科学与技术》
《化学工程》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号