文章编号 | 标题 | 作者 | 年卷期:起止页码 | 复制 |
7139 |
Büchi自动机确定化分析工具
|
马润哲,田聪,王文胜,段振华
|
2024,35(9):0-0
|
|
7138 |
基于交互式定理证明的并发程序验证工作综述
|
王中烨,吴姝姝,曹钦翔
|
2024,35(9):0-0
|
|
7137 |
基于AADL的混合关键系统随机错误与突发错误安全性分析
|
魏晓敏,董云卫,孙聪,李兴华,马建峰
|
2024,35(9):0-0
|
|
7136 |
基于MTRDL的自动飞行系统模式需求建模与验证方法[1]
|
徐恒,黄志球,胡军,陶传奇,王金永,石帆
|
2024,35(9):0-0
|
|
7135 |
Trie+结构函数式建模、机械化验证及其应用
|
左正康,柯雨含,黄箐,王玥坤,曾志城,王昌晶
|
2024,35(9):0-0
|
|
7134 |
命令式动态规划类算法程序推导及机械化验证
|
左正康,孙欢,王昌晶,游珍,黄箐,王唱唱
|
2024,35(9):0-0
|
|
7133 |
基于形式化方法的区块链系统漏洞检测模型
|
陈锦富,冯乔伟,蔡赛华,施登洲,Rexford Nii Ayitey Sosu
|
2024,35(9):0-0
|
|
7131 |
基于DH标定的机器人正向运动学形式化验证
|
谢果君,杨焕焕,石正璞,陈钢
|
2024,35(9):0-0
|
|
7130 |
并发对象强可线性化性质的检测和验证研究
|
王超,贾巧雯,吕毅,吴鹏
|
2024,35(9):0-0
|
|
7128 |
舰载机弹药保障作业调度的形式化建模与验证
|
金钊,金璐,张博闻,吴庆顺,冯朔,李冠峰,徐明亮
|
2024,35(9):0-0
|
|
7127 |
完备神经网络验证加速技术综述
|
刘宗鑫,杨鹏飞,张立军,吴志林,黄小炜
|
2024,35(9):0-0
|
|
7126 |
关于安全案例论证构建的综述
|
陈泽众,邓玉欣
|
2024,35(9):1-25
|
|
7132 |
微内核操作系统互斥量模块功能正确性的形式化验证
|
张林雁,李希萌,施智平,关永,曹钦翔,张倩颖
|
2024,35(9):1-14
|
|
|