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