IntervalTree+结构的函数式建模、机械化验证及其应用

左正康; 张晗庆; 王昌晶; 游珍

doi:10.12263/DZXB.20240427

您当前的位置：

首页 >

文章列表页 >

IntervalTree+结构的函数式建模、机械化验证及其应用

学术论文 | 更新时间：2025-12-08

- IntervalTree+结构的函数式建模、机械化验证及其应用
- Functional Modeling, Mechanized Verification and Application of IntervalTree+
- 左正康，张晗庆，王昌晶，游珍
- 电子学报 2025年53卷第2期页码：474-482
- 作者机构：
  1.江西师范大学计算机信息工程学院，江西南昌 330022
  2.江西师范大学网络化支撑软件国家科技合作基地，江西南昌 330022
  3.江西师范大学高性能计算江西省重点实验室，江西南昌 330022
- 作者简介：
  左正康　男，1980年3月生于江西抚州.现为江西师范大学计算机信息工程学院教授、硕士生导师.主要研究方向为高可信与智能化软件.
  张晗庆　男，2000年12月生于江西抚州.现为江西师范大学计算机信息工程学院硕士研究生.主要研究方向为形式化方法.
  王昌晶　男，1977年10月生于江西丰城.现为江西师范大学计算机信息工程学院教授、博士生导师.主要研究方向为高可信软件，智能化软件.
  游　珍　女，1982年6月生于江西高安.现为江西师范大学计算机信息工程学院副教授、硕士生导师.主要研究方向为形式化方法、分布式虚拟现实、并发分布式计算.
- 基金信息：
  国家自然科学基金(62462036;62462037);江西省自然科学基金(20242BAB26017;20232BAB202010);江西省主要学科学术与技术带头人培养项目(20232BCJ22013)
- DOI： 10.12263/DZXB.20240427
  中图分类号：
- 修回：2025-01-13 ，
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
图( 7 ) 表( 1 )
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

56

浏览量

125

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

基于概念漂移感知的异常流量检测模型轻量化更新机制

知识增强的区域关联图像解说生成方法

面向扇出型晶圆级封装的芯片间RDL布线算法

低轨卫星网络自适应随机接入研究

IntervalTree+结构的函数式建模、机械化验证及其应用

Functional Modeling, Mechanized Verification and Application of IntervalTree+

DOI： 10.12263/DZXB.20240427

HTML全文

图( 7 ) 表( 1 )

参考文献

出版信息

数据统计

摘要

Abstract

关键词

Keywords

references