首都师范大学信息工程学院可靠嵌入式系统北京市高等学校工程研究中心

研究主题：形式化验证形式化积分器定理证明

研究学科：自动化类

被引量：7H指数：1北大核心: 1 CSCD: 1

检索结果分析

全选清除导出

排序方式：

共 1 条记录，以下是 1-1

Gauge积分在HOL4中的形式化: 1; 《计算机科学》首都师范大学信息工程学院高可靠嵌入式系统技术北京市工程研究中心;北京化工大学信息科学与技术学院;中国科学院研究生院信息科学与工程学院谷伟卿施智平关永张杰赵春娜叶世伟出版年：2013; 国际科技合作计划(2010DFB10930;2011DFG13000);国家自然科学基金项目(61070049;61170304;61104035);北京市自然科学基金项目资助; 积分是许多数学理论的基础,如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭区间上的推广,应用更加方便。将Gauge积分的运算性质在HOL4(Higher-Order Logic 4)中形式化,包括...; 关键词：形式化验证定理证明 Gauge积分 HOL4 积分器

全选清除导出

共1页<< <1> >>