| 标题 | 作者 | 年卷期:起止页码 | 复制 |
|
完备神经网络验证加速技术综述
|
刘宗鑫，杨鹏飞，张立军，吴志林，黄小炜
|
2024,35(9):0-0
|
|
|
舰载机弹药保障作业调度的形式化建模与验证
|
金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮
|
2024,35(9):0-0
|
|
|
并发对象强可线性化性质的检测和验证研究
|
王超，贾巧雯，吕毅，吴鹏
|
2024,35(9):0-0
|
|
|
基于DH标定的机器人正向运动学形式化验证
|
谢果君，杨焕焕，石正璞，陈钢
|
2024,35(9):0-0
|
|
|
命令式动态规划类算法程序推导及机械化验证
|
左正康，孙欢，王昌晶，游珍，黄箐，王唱唱
|
2024,35(9):0-0
|
|
|
Trie+结构函数式建模、机械化验证及其应用
|
左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶
|
2024,35(9):0-0
|
|
|
基于MTRDL的自动飞行系统模式需求建模与验证方法[1]
|
徐恒，黄志球，胡军，陶传奇，王金永，石帆
|
2024,35(9):0-0
|
|
|
基于AADL的混合关键系统随机错误与突发错误安全性分析
|
魏晓敏，董云卫，孙聪，李兴华，马建峰
|
2024,35(9):0-0
|
|
|
基于交互式定理证明的并发程序验证工作综述
|
王中烨，吴姝姝，曹钦翔
|
2024,35(9):0-0
|
|
|
Büchi自动机确定化分析工具
|
马润哲，田聪，王文胜，段振华
|
2024,35(9):0-0
|
|
|
关于安全案例论证构建的综述
|
陈泽众，邓玉欣
|
2024,35(9):1-25
|
|
|
微内核操作系统互斥量模块功能正确性的形式化验证
|
张林雁，李希萌，施智平，关永，曹钦翔，张倩颖
|
2024,35(9):1-14
|
|
|
基于形式化方法的区块链系统漏洞检测模型
|
陈锦富，冯乔伟，蔡赛华，施登洲，RexfordNiiAyiteySOSU
|
2024,35(9):1-25
|
|
|
基于TEE和SE的移动平台双离线匿名支付方案
|
杨波，冯伟，秦宇，张彦超，佟冬
|
2024,35(8):0-0
|
|
|
UEFI固件的启发式逆向分析与模糊测试方法
|
林欣康，顾匡愚，赵磊
|
2024,35(8):0-0
|
|
|
一种利用动态分析的嵌入式应用托管方案
|
吴华茂，姜木慧，周亚金，李金库
|
2024,35(8):0-0
|
|
|
基于多元数据融合的网络侧告警排序方法
|
王维靖，陈俊洁，杨林，侯德俊，王星凯，吴复迪，张润滋，王赞
|
2024,35(8):0-0
|
|
|
基于双分支特征提取和自适应胶囊网络的DGA域名检测方法
|
杨宏宇，章涛，张良，成翔，胡泽
|
2024,35(8):0-0
|
|
|
面向漏洞检测模型的强化学习式对抗攻击方法
|
陈思然，吴敬征，凌祥，罗天悦，刘镓煜，武延军
|
2024,35(8):0-0
|
|
|
移动应用隐私权声明内容合规性检验方法
|
王寅，范铭，陶俊杰，雷靖薏，晋武侠，韩德强，刘烃
|
2024,35(8):0-0
|
|
|
