典型文献
定理证明理论与应用专题前言
文献摘要：
随着计算机系统在工业和生活中越来越广泛的应用, 软件和硬件的可靠性受到越来越多的关注. 定理证明方法将程序和系统的正确性表达为数学命题, 然后使用逻辑推导的方式证明正确性. 不同于基于程序测试的技术, 定理证明方法能保证覆盖所有边缘情况, 完全排除一些特定类型的错误. 而基于逻辑推导的交互式定理证明技术还能不受系统状态空间大小和复杂性的限制, 验证非常复杂的系统和性质. 因此, 定理证明技术不仅是形式化方法领域, 也是众多其他应用领域国内外学者的关注焦点和研究新热点. 近年来, 定理证明已经逐步用于越来越多的软件、硬件系统验证,这一方面为软硬件系统的安全性保障提供了新的有力工具, 另一方面也成为定理证明技术发展的有利契机. 目前, 定理证明的规模化问题、定理证明工具本身的底层逻辑理论问题、适应于定理证明方案的程序验证理论问题等变得越来越重要, 对于数学分析、离散数学、概率等基础定理证明库或求解方案的需求也越来越迫切.
文献关键词：
中图分类号：
作者姓名：
曹钦翔;詹博华;赵永望
作者机构：
上海交通大学 电子信息与电气工程学院, 上海 200240;中国科学院 软件研究所, 北京 100190;浙江大学 计算机科学与技术学院, 浙江 杭州 310027
文献出处：
引用格式：
[1]曹钦翔;詹博华;赵永望-.定理证明理论与应用专题前言)[J].软件学报,2022(06):2113-2114
A类：
B类：
定理证明,明理,理论与应用,前言,计算机系统,中越,证明方法,数学命题,程序测试,有边,缘情,交互式,状态空间,非常复杂,形式化方法,关注焦点,硬件系统,系统验证,底层逻辑,理论问题,应于,程序验证,数学分析,离散数学
AB值：
0.344524
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
