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