|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|格林定理的形式化及其初步应用

格林定理的形式化及其初步应用

刘永梅 王国辉 关永 张景芝 施智平 董璐

计算机工程与科学2023，Vol.45Issue(7)：1178-1187,10.
✕
计算机工程与科学2023，Vol.45Issue(7)：1178-1187,10.DOI:10.3969/j.issn.1007-130X.2023.07.005

格林定理的形式化及其初步应用

Formal verification of Green's theorem and its applications

刘永梅 1王国辉 2关永 3张景芝 3施智平 1董璐2

作者信息

  • 1. 首都师范大学信息工程学院,北京 100048||电子系统可靠性与数理交叉学科国际科技合作基地,北京 100048
  • 2. 首都师范大学信息工程学院,北京 100048
  • 3. 电子系统可靠性与数理交叉学科国际科技合作基地,北京 100048
  • 折叠

摘要

关键词

形式化验证/定理证明/格林定理/HOL Light

Key words

formal verification/theorem proving/Green's theorem/HOL Light

分类

信息技术与安全科学

引用本文复制引用

刘永梅,王国辉,关永,张景芝,施智平,董璐..格林定理的形式化及其初步应用[J].计算机工程与科学,2023,45(7):1178-1187,10.

基金项目

国家重点研发计划(2019YFB1309900) （2019YFB1309900）

国家自然科学基金(62002246,62272322,62272323) （62002246,62272322,62272323）

科技创新服务能力建设-基本科研业务费(科研费)项目(00621530290000) （科研费）

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

访问量0
|
下载量0
段落导航相关论文