HOL4系统相关硕士博士期刊学术论文 - 搜论网

HOL4系统相关论文

基于高阶逻辑的交叉算子的形式化研究

随着计算机系统规模的迅速增大，系统设计实现的正确性问题越来越严峻。形式化方法的出现，成为了解决该问题的一个重要手段。它运用数......

学位

形式化方法定理证明遗传算法交叉算子 HOL4系统

线性空间理论在定理证明器HOL中的形式化

目前，计算机系统的设计正确性检验问题已成为人们关注的重点，形式化方法就是一种新兴的系统设计验证方法，它有效地弥补了传统的测试、......

学位

形式化定理证明方法定理证明器HOL 线性空间理论 HOL4系统

看过本文同时还关注