| |
2021年第32卷第6期目录
本期目录 专刊文章 | | | 形式化方法与应用专题前言 | | | 田聪，邓玉欣，姜宇 | | | 出版日期: 2021-06-06 (2 页) | | | 2021,32(6):1579-1580 | | | [摘要](2610) [PDF 297.02 K](7874) | | | C2P:基于Pi演算的协议C代码形式化抽象方法和工具 | | | 张协力，祝跃飞，顾纯祥，陈熹 | | | 出版日期: 2021-06-06 (16 页) | | | 2021,32(6):1581-1596 | | | [摘要](3056) [PDF 1.72 M](6957) | | | 大粒度Pull Request描述自动生成 | | | 邝砾，施如意，赵雷浩，张欢，高洪皓 | | | 出版日期: 2021-06-06 (15 页) | | | 2021,32(6):1597-1611 | | | [摘要](2682) [PDF 1.60 M](6820) | | | Petri网的反向展开及其在程序数据竞争检测的应用 | | | 郝宗寅，鲁法明 | | | 出版日期: 2021-06-06 (19 页) | | | 2021,32(6):1612-1630 | | | [摘要](2694) [PDF 2.15 M](5897) | | | 面向SPARC处理器架构的操作系统异常管理验证 | | | 马智，乔磊，杨孟飞，李少峰 | | | 出版日期: 2021-06-06 (16 页) | | | 2021,32(6):1631-1646 | | | [摘要](2848) [PDF 1.59 M](6498) | | | 基于分支标记的数据流模型的代码生成方法 | | | 苏卓，王东艳，杨镒箫，张明睿，姜宇，孙家广 | | | 出版日期: 2021-06-06 (16 页) | | | 2021,32(6):1647-1662 | | | [摘要](2844) [PDF 1.55 M](6522) | | | 面向AADL模型的存储资源约束可调度性分析 | | | 陆寅，秦树东，习乐琪，董云卫 | | | 出版日期: 2021-06-06 (19 页) | | | 2021,32(6):1663-1681 | | | [摘要](2310) [PDF 1.79 M](5922) | | | 基于锁增广分段图的多线程程序死锁检测 | | | 鲁法明，郑佳静，包云霞，曾庆田，段华，王晓宇 | | | 出版日期: 2021-06-06 (19 页) | | | 2021,32(6):1682-1700 | | | [摘要](2653) [PDF 2.00 M](6765) | | | 基于污染变量关系图的Android应用污点分析工具 | | | 张捷，田聪，段振华 | | | 出版日期: 2021-06-06 (16 页) | | | 2021,32(6):1701-1716 | | | [摘要](3249) [PDF 1.54 M](7293) | | | 以太坊中间语言的可执行语义 | | | 韩宁，李希萌，张倩颖，王国辉，施智平，关永 | | | 出版日期: 2021-06-06 (16 页) | | | 2021,32(6):1717-1732 | | | [摘要](2685) [PDF 1.55 M](6984) | | | 个体交互行为的平滑干预模型 | | | 刘霄，章昭辉，魏子明，王鹏伟 | | | 出版日期: 2021-06-06 (15 页) | | | 2021,32(6):1733-1747 | | | [摘要](2591) [PDF 1.60 M](6421) | | | 支持乱序执行的Raft协议 | | | 谷晓松，魏恒峰，乔磊，黄宇 | | | 出版日期: 2021-06-06 (31 页) | | | 2021,32(6):1748-1778 | | | [摘要](3260) [PDF 2.82 M](7955) | | | 面向CPS时空性质验证的混成AADL建模与模型转换方法 | | | 陈小颖，祝义，赵宇，王金永 | | | 出版日期: 2021-06-06 (20 页) | | | 2021,32(6):1779-1798 | | | [摘要](2613) [PDF 2.09 M](6608) | | | 芯片开发功能验证的形式化方法 | | | 姚广宇，张南，田聪，段振华，刘灵敏，孙风津 | | | 出版日期: 2021-06-06 (19 页) | | | 2021,32(6):1799-1817 | | | [摘要](3118) [PDF 1.86 M](7308) | | | 面向数据流的ROS2数据分发服务形式建模与分析 | | | 芦倩，李晓娟，关永，王瑞，施智平 | | | 出版日期: 2021-06-06 (12 页) | | | 2021,32(6):1818-1829 | | | [摘要](3283) [PDF 1.51 M](7122) | | | Ptolemy离散事件模型形式化验证方法 | | | 陆芝浩，王瑞，孔辉，关永，施智平 | | | 出版日期: 2021-06-06 (19 页) | | | 2021,32(6):1830-1848 | | | [摘要](2649) [PDF 2.08 M](6535) | | | 面向MSVL的智能合约形式化验证 | | | 王小兵，杨潇钰，舒新峰，赵亮 | | | 出版日期: 2021-06-06 (18 页) | | | 2021,32(6):1849-1866 | | | [摘要](3042) [PDF 1.88 M](6809) | | | 面向ROS的差分模糊测试方法 | | | 王颖，王冰青，关永，李晓娟，王瑞 | | | 出版日期: 2021-06-06 (15 页) | | | 2021,32(6):1867-1881 | | | [摘要](3028) [PDF 1.66 M](7289) | | | 基于Coq的分块矩阵运算的形式化 | | | 麻莹莹，马振威，陈钢 | | | 出版日期: 2021-06-06 (28 页) | | | 2021,32(6):1882-1909 | | | [摘要](2749) [PDF 3.44 M](7862) | |
|
