| |
| 舰载机弹药保障作业调度的形式化建模与验证 |
| | 金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮 |
| | 2024,35(9):0 [摘要(210)] [PDF 871.46 K (654)] |
| | |
| 并发对象强可线性化性质的检测和验证研究 |
| | 王超，贾巧雯，吕毅，吴鹏 |
| | 2024,35(9):0 [摘要(165)] [PDF 782.62 K (479)] |
| | |
| 基于MTRDL的自动飞行系统模式需求建模与验证方法[1] |
| | 徐恒，黄志球，胡军，陶传奇，王金永，石帆 |
| | 2024,35(9):0 [摘要(163)] [PDF 1.09 M (531)] |
| | |
| 基于AADL的混合关键系统随机错误与突发错误安全性分析 |
| | 魏晓敏，董云卫，孙聪，李兴华，马建峰 |
| | 2024,35(9):0 [摘要(172)] [PDF 1.30 M (451)] |
| | |
| 基于交互式定理证明的并发程序验证工作综述 |
| | 王中烨，吴姝姝，曹钦翔 |
| | 2024,35(9):0 [摘要(203)] [PDF 2.10 M (622)] |
| | |
| Büchi自动机确定化分析工具 |
| | 马润哲，田聪，王文胜，段振华 |
| | 2024,35(9):0 [摘要(172)] [PDF 1.25 M (478)] |
| | |
| 基于DH标定的机器人正向运动学形式化验证 |
| | 谢果君，杨焕焕，石正璞，陈钢 |
| | 2024,35(9):1-19 [摘要(159)] [PDF 5.86 M (607)] |
| | |
| 微内核操作系统互斥量模块功能正确性的形式化验证 |
| | 张林雁，李希萌，施智平，关永，曹钦翔，张倩颖 |
| | 2024,35(9):1-14 [摘要(157)] [PDF 6.92 M (541)] |
| | |
| 基于形式化方法的区块链系统漏洞检测模型 |
| | 陈锦富，冯乔伟，蔡赛华，施登洲，RexfordNiiAyiteySOSU |
| | 2024,35(9):1-25 [摘要(306)] [PDF 7.00 M (793)] |
| | |
| 命令式动态规划类算法程序推导及机械化验证 |
| | 左正康，孙欢，王昌晶，游珍，黄箐，王唱唱 |
| | 2024,35(9):1-24 [摘要(149)] [PDF 8.71 M (511)] |
| | |
| Trie+结构函数式建模、机械化验证及其应用 |
| | 左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶 |
| | 2024,35(9):1-23 [摘要(187)] [PDF 6.96 M (480)] |
| | |
| 关于安全案例论证构建的综述 |
| | 陈泽众，邓玉欣 |
| | 2024,35(9):1-25 [摘要(238)] [PDF 7.42 M (632)] |
| | |
| 完备神经网络验证加速技术综述 |
| | 刘宗鑫，杨鹏飞，张立军，吴志林，黄小炜 |
| | 2024,35(9):1-31 [摘要(261)] [PDF 3.25 M (642)] |
| | |
