| 标题 | 作者 | 年卷期:起止页码 | 复制 |
|
形式化方法与应用专题前言
|
曹钦翔，宋富，詹乃军
|
2024,35(9):4011-4012
|
|
|
关于安全案例论证构建的综述
|
陈泽众，邓玉欣
|
2024,35(9):4013-4037
|
|
|
完备神经网络验证加速技术综述
|
刘宗鑫，杨鹏飞，张立军，吴志林，黄小炜
|
2024,35(9):4038-4068
|
|
|
基于交互式定理证明的并发程序验证工作综述
|
王中烨，吴姝姝，曹钦翔
|
2024,35(9):4069-4099
|
|
|
舰载机弹药保障作业调度的形式化建模与验证
|
金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮
|
2024,35(9):4100-4122
|
|
|
基于优先级时间Petri网的实时嵌入式多核系统分析
|
张凯文，刘关俊，孙彦韬，李晓锋，关健，解毅，顾斌
|
2024,35(9):4123-4140
|
|
|
并发对象强可线性化性质的检测和验证
|
王超，贾巧雯，吕毅，吴鹏
|
2024,35(9):4141-4159
|
|
|
基于DH标定的机器人正向运动学形式化验证
|
谢果君，杨焕焕，石正璞，陈钢
|
2024,35(9):4160-4178
|
|
|
微内核操作系统互斥量模块功能正确性的形式化验证
|
张林雁，李希萌，施智平，关永，曹钦翔，张倩颖
|
2024,35(9):4179-4192
|
|
|
基于形式化方法的区块链系统漏洞检测模型
|
陈锦富，冯乔伟，蔡赛华，施登洲，Rexford Nii Ayitey SOSU
|
2024,35(9):4193-4217
|
|
|
命令式动态规划类算法程序推导及机械化验证
|
左正康，孙欢，王昌晶，游珍，黄箐，王唱唱
|
2024,35(9):4218-4241
|
|
|
Trie+结构函数式建模、机械化验证及其应用
|
左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶
|
2024,35(9):4242-4264
|
|
|
基于MTRDL的自动飞行系统模式需求建模与验证方法
|
徐恒，黄志球，胡军，陶传奇，王金永，石帆
|
2024,35(9):4265-4286
|
|
|
基于AADL的混合关键系统随机错误与突发错误安全性分析
|
魏晓敏，董云卫，孙聪，李兴华，马建峰
|
2024,35(9):4287-4309
|
|
|
Büchi自动机确定化分析工具
|
马润哲，田聪，王文胜，段振华
|
2024,35(9):4310-4323
|
|
|
基于胶囊异构图注意力网络的中文表格型数据事实验证
|
杨鹏，查显宇，赵广振，林茜
|
2024,35(9):4324-4345
|
|
|
基于IR-UWB的睡眠状态下人体呼吸波形检测方法
|
郭政鑫，戴余豪，桂林卿，盛碧云，肖甫
|
2024,35(9):4346-4364
|
|
|
Pobe: 一种基于生成式模型的分布外文本检测方法
|
欧阳亚文，高源，宗石，鲍宇，戴新宇
|
2024,35(9):4365-4376
|
|
|
属性建模与课程学习相结合的属性级情感分类方法
|
叶静，向露，宗成庆
|
2024,35(9):4377-4389
|
|
|
基于重要性采样的超图网络高效表示方法
|
邵豪，王伦文，朱然刚，刘辉
|
2024,35(9):4390-4407
|
|
|
