2021年第32卷第6期目录下载本期目录
基于理性信任模型的理性委托计算协议冯能先，田有亮出版日期: 2021-06-06 (13 页)2021,32(6):1910-1922 [摘要(1087)] [PDF(2002)1.30 M][HTML(947)]
形式化方法与应用专题前言田聪，邓玉欣，姜宇出版日期: 2021-06-06 (2 页)2021,32(6):1579-1580 [摘要(1651)] [PDF(3095)297.02 K][HTML(1846)]C2P:基于Pi演算的协议C代码形式化抽象方法和工具张协力，祝跃飞，顾纯祥，陈熹出版日期: 2021-06-06 (16 页)2021,32(6):1581-1596 [摘要(1936)] [PDF(3617)1.72 M][HTML(2417)]大粒度Pull Request描述自动生成邝砾，施如意，赵雷浩，张欢，高洪皓出版日期: 2021-06-06 (15 页)2021,32(6):1597-1611 [摘要(1822)] [PDF(3191)1.60 M][HTML(1827)]Petri网的反向展开及其在程序数据竞争检测的应用郝宗寅，鲁法明出版日期: 2021-06-06 (19 页)2021,32(6):1612-1630 [摘要(1875)] [PDF(2863)2.15 M][HTML(1963)]面向SPARC处理器架构的操作系统异常管理验证马智，乔磊，杨孟飞，李少峰出版日期: 2021-06-06 (16 页)2021,32(6):1631-1646 [摘要(1865)] [PDF(3170)1.59 M][HTML(1975)]基于分支标记的数据流模型的代码生成方法苏卓，王东艳，杨镒箫，张明睿，姜宇，孙家广出版日期: 2021-06-06 (16 页)2021,32(6):1647-1662 [摘要(1829)] [PDF(3403)1.55 M][HTML(1751)]面向AADL模型的存储资源约束可调度性分析陆寅，秦树东，习乐琪，董云卫出版日期: 2021-06-06 (19 页)2021,32(6):1663-1681 [摘要(1422)] [PDF(2885)1.79 M][HTML(1995)]基于锁增广分段图的多线程程序死锁检测鲁法明，郑佳静，包云霞，曾庆田，段华，王晓宇出版日期: 2021-06-06 (19 页)2021,32(6):1682-1700 [摘要(1627)] [PDF(3158)2.00 M][HTML(2219)]基于污染变量关系图的Android应用污点分析工具张捷，田聪，段振华出版日期: 2021-06-06 (16 页)2021,32(6):1701-1716 [摘要(2148)] [PDF(3737)1.54 M][HTML(2856)]以太坊中间语言的可执行语义韩宁，李希萌，张倩颖，王国辉，施智平，关永出版日期: 2021-06-06 (16 页)2021,32(6):1717-1732 [摘要(1868)] [PDF(3842)1.55 M][HTML(1955)]个体交互行为的平滑干预模型刘霄，章昭辉，魏子明，王鹏伟出版日期: 2021-06-06 (15 页)2021,32(6):1733-1747 [摘要(1736)] [PDF(3188)1.60 M][HTML(1973)]支持乱序执行的Raft协议谷晓松，魏恒峰，乔磊，黄宇出版日期: 2021-06-06 (31 页)2021,32(6):1748-1778 [摘要(2166)] [PDF(3443)2.82 M][HTML(1882)]面向CPS时空性质验证的混成AADL建模与模型转换方法陈小颖，祝义，赵宇，王金永出版日期: 2021-06-06 (20 页)2021,32(6):1779-1798 [摘要(1764)] [PDF(3341)2.09 M][HTML(2036)]芯片开发功能验证的形式化方法姚广宇，张南，田聪，段振华，刘灵敏，孙风津出版日期: 2021-06-06 (19 页)2021,32(6):1799-1817 [摘要(1888)] [PDF(3514)1.86 M][HTML(2446)]面向数据流的ROS2数据分发服务形式建模与分析芦倩，李晓娟，关永，王瑞，施智平出版日期: 2021-06-06 (12 页)2021,32(6):1818-1829 [摘要(2156)] [PDF(3660)1.51 M][HTML(1929)]Ptolemy离散事件模型形式化验证方法陆芝浩，王瑞，孔辉，关永，施智平出版日期: 2021-06-06 (19 页)2021,32(6):1830-1848 [摘要(1776)] [PDF(3047)2.08 M][HTML(2132)]面向MSVL的智能合约形式化验证王小兵，杨潇钰，舒新峰，赵亮出版日期: 2021-06-06 (18 页)2021,32(6):1849-1866 [摘要(1946)] [PDF(3529)1.88 M][HTML(2783)]面向ROS的差分模糊测试方法王颖，王冰青，关永，李晓娟，王瑞出版日期: 2021-06-06 (15 页)2021,32(6):1867-1881 [摘要(1928)] [PDF(3713)1.66 M][HTML(2651)]基于Coq的分块矩阵运算的形式化麻莹莹，马振威，陈钢出版日期: 2021-06-06 (28 页)2021,32(6):1882-1909 [摘要(1918)] [PDF(4223)3.44 M][HTML(2693)]
