| |
2024年第35卷第9期目录
本期目录 专刊文章 综述文章 专刊文章 | | | 舰载机弹药保障作业调度的形式化建模与验证 | | | 金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮 | | | 出版日期: 2024-09-06 (23 页) | | | 2024,35(9):4100-4122 | | | [摘要](1995) [PDF 9.27 M](5034) | | | 基于优先级时间Petri网的实时嵌入式多核系统分析 | | | 张凯文，刘关俊，孙彦韬，李晓锋，关健，解毅，顾斌 | | | 出版日期: 2024-09-06 (18 页) | | | 2024,35(9):4123-4140 | | | [摘要](1608) [PDF 3.57 M](3413) | | | 并发对象强可线性化性质的检测和验证 | | | 王超，贾巧雯，吕毅，吴鹏 | | | 出版日期: 2024-09-06 (18 页) | | | 2024,35(9):4141-4159 | | | [摘要](1352) [PDF 6.14 M](4090) | | | 基于DH标定的机器人正向运动学形式化验证 | | | 谢果君，杨焕焕，石正璞，陈钢 | | | 出版日期: 2024-09-06 (20 页) | | | 2024,35(9):4160-4178 | | | [摘要](1534) [PDF 7.23 M](4712) | | | 微内核操作系统互斥量模块功能正确性的形式化验证 | | | 张林雁，李希萌，施智平，关永，曹钦翔，张倩颖 | | | 出版日期: 2024-09-06 (15 页) | | | 2024,35(9):4179-4192 | | | [摘要](1561) [PDF 7.93 M](4480) | | | 基于形式化方法的区块链系统漏洞检测模型 | | | 陈锦富，冯乔伟，蔡赛华，施登洲，Rexford Nii Ayitey SOSU | | | 出版日期: 2024-09-06 (27 页) | | | 2024,35(9):4193-4217 | | | [摘要](2545) [PDF 8.82 M](5233) | | | 命令式动态规划类算法程序推导及机械化验证 | | | 左正康，孙欢，王昌晶，游珍，黄箐，王唱唱 | | | 出版日期: 2024-09-06 (26 页) | | | 2024,35(9):4218-4241 | | | [摘要](1162) [PDF 10.40 M](4139) | | | Trie+结构函数式建模、机械化验证及其应用 | | | 左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶 | | | 出版日期: 2024-09-06 (23 页) | | | 2024,35(9):4242-4264 | | | [摘要](1277) [PDF 8.58 M](3966) | | | 基于MTRDL的自动飞行系统模式需求建模与验证方法 | | | 徐恒，黄志球，胡军，陶传奇，王金永，石帆 | | | 出版日期: 2024-09-06 (21 页) | | | 2024,35(9):4265-4286 | | | [摘要](1382) [PDF 10.56 M](4340) | | | 基于AADL的混合关键系统随机错误与突发错误安全性分析 | | | 魏晓敏，董云卫，孙聪，李兴华，马建峰 | | | 出版日期: 2024-09-06 (24 页) | | | 2024,35(9):4287-4309 | | | [摘要](1520) [PDF 11.54 M](4047) | | | Büchi自动机确定化分析工具 | | | 马润哲，田聪，王文胜，段振华 | | | 出版日期: 2024-09-06 (17 页) | | | 2024,35(9):4310-4323 | | | [摘要](1337) [PDF 6.17 M](4048) | |
|
