| |
| C2P:基于Pi演算的协议C代码形式化抽象方法和工具 |
| | 张协力，祝跃飞，顾纯祥，陈熹 |
| | 2021,32(6):13-0 [摘要(60)] [PDF 737.71 K (30)] |
| | |
| 大粒度Pull Request描述自动生成 |
| | 邝砾，施如意，赵雷浩，张欢，高洪皓 |
| | 2021,32(6):14-0 [摘要(57)] [PDF 568.24 K (24)] |
| | |
| Petri网的反向展开及其在程序数据竞争检测的应用 |
| | 郝宗寅，鲁法明 |
| | 2021,32(6):15-0 [摘要(57)] [PDF 906.34 K (27)] |
| | |
| 面向SPARC处理器架构的操作系统异常管理形式化验证 |
| | 马智，乔磊，杨孟飞，李少峰 |
| | 2021,32(6):16-0 [摘要(45)] [PDF 612.79 K (26)] |
| | |
| 基于分支标记的数据流模型的代码生成方法 |
| | 苏卓，王东艳，杨镒箫，张明睿，姜宇，孙家广 |
| | 2021,32(6):17-0 [摘要(53)] [PDF 471.92 K (25)] |
| | |
| 面向AADL系统架构的存储资源约束可调度性分析方法 |
| | 陆寅，秦树东，习乐琪，董云卫 |
| | 2021,32(6):18-0 [摘要(21)] [PDF 944.52 K (29)] |
| | |
| 基于锁增广分段图的多线程程序死锁检测 |
| | 鲁法明，郑佳静，包云霞，曾庆田，段华，王晓宇 |
| | 2021,32(6):19-0 [摘要(38)] [PDF 649.21 K (19)] |
| | |
| 基于污染变量关系图的Android应用污点分析工具 |
| | 张捷，田聪，段振华 |
| | 2021,32(6):20-0 [摘要(60)] [PDF 1.14 M (28)] |
| | |
| 以太坊中间语言的可执行语义 |
| | 韩宁，李希萌，张倩颖，王国辉，施智平，关永 |
| | 2021,32(6):21-0 [摘要(58)] [PDF 452.60 K (42)] |
| | |
| 个体交互行为的平滑干预模型 |
| | 刘霄，章昭辉，魏子明，王鹏伟 |
| | 2021,32(6):22-0 [摘要(54)] [PDF 747.25 K (26)] |
| | |
| 支持乱序执行的Raft协议 |
| | 谷晓松，魏恒峰，乔磊，黄宇 |
| | 2021,32(6):23-0 [摘要(47)] [PDF 3.70 M (31)] |
| | |
| 面向CPS时空性质验证的混成AADL建模与模型转换方法 |
| | 陈小颖，祝义，赵宇，王金永 |
| | 2021,32(6):24-0 [摘要(150)] [PDF 621.28 K (39)] |
| | |
| 芯片开发功能验证的形式化方法 |
| | 姚广宇，张南，田聪，段振华，刘灵敏，孙风津 |
| | 2021,32(6):25-0 [摘要(50)] [PDF 524.00 K (31)] |
| | |
| 面向数据流的ROS2数据分发服务形式建模与分析 |
| | 芦倩，李晓娟，关永，王瑞，施智平 |
| | 2021,32(6):26-0 [摘要(124)] [PDF 761.73 K (35)] |
| | |
| Ptolemy离散事件模型形式化验证方法 |
| | 陆芝浩，王瑞，孔辉，关永，施智平 |
| | 2021,32(6):27-0 [摘要(55)] [PDF 956.24 K (25)] |
| | |
| 面向MSVL的智能合约形式化验证 |
| | 王小兵，杨潇钰，舒新峰，赵亮 |
| | 2021,32(6):28-0 [摘要(55)] [PDF 505.50 K (25)] |
| | |
| 面向ROS的差分模糊测试方法 |
| | 王颖，王冰青，关永，李晓娟，王瑞 |
| | 2021,32(6):29-0 [摘要(74)] [PDF 820.19 K (24)] |
| | |
| 基于Coq的分块矩阵运算的形式化 |
| | 麻莹莹，马振威，陈钢 |
| | 2021,32(6):30-0 [摘要(131)] [PDF 1.32 M (32)] |
| | |
