交互式定理证明相关论文
进入21世纪以来,整个社会的信息化程度越来越高,网络信息爆炸,越来越多的信息技术走进每个人的生活。物联网技术的愈发多样,伴随而......
基于机器定理证明的形式验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.文件比较算法（fi......
软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段,但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大......
随着软件开发技术的不断发展和演变，软件的发展已日趋于精细化和智能化。但是，软件安全问题仍是困扰软件开发人员的关键问题。人们对......
