|国家科技期刊平台
| 注册
首页|期刊导航|西南交通大学学报|车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统行为验证与数据确认的形式化方法

王恪铭 王霞 程鹏 刘宁 张传东

西南交通大学学报2021，Vol.56Issue(3)：587-593,610,8.
✕
西南交通大学学报2021，Vol.56Issue(3)：587-593,610,8.DOI:10.3969/j.issn.0258-2724.20191182

车站联锁系统行为验证与数据确认的形式化方法

Formal Method for Behavior Verification and Data Validation of Station Interlocking System

王恪铭 1王霞 2程鹏 1刘宁 2张传东1

作者信息

  • 1. 西南交通大学信息科学与技术学院,四川 成都 611756
  • 2. 西南交通大学系统可信性自动验证国家地方联合工程实验室,四川 成都 610031
  • 折叠

摘要

关键词

车站联锁系统/形式化验证/定理证明/数据确认/功能仿真/测试

分类

信息技术与安全科学

引用本文复制引用

王恪铭,王霞,程鹏,刘宁,张传东..车站联锁系统行为验证与数据确认的形式化方法[J].西南交通大学学报,2021,56(3):587-593,610,8.

基金项目

国家自然科学基金(71502146,61673320) （71502146,61673320）

中央高校基本科研业务费专项资金(2682017ZT12) （2682017ZT12）

西南交通大学学报

OA北大核心CSCDCSTPCD

0258-2724

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