目录
形式化方法与应用专题
形式化方法与应用专题前言田聪;邓玉欣;姜宇;1579-1580
C2P:基于Pi演算的协议C代码形式化抽象方法和工具
张协力;祝跃飞;顾纯祥;陈熹;1581-1596
大粒度Pull Request描述自动生成
邝砾;施如意;赵雷浩;张欢;高洪皓;1597-1611
Petri网的反向展开及其在程序数据竞争检测的应用
郝宗寅;鲁法明;1612-1630
面向SPARC处理器架构的操作系统异常管理验证
马智;乔磊;杨孟飞;李少峰;1631-1646
基于分支标记的数据流模型的代码生成方法
苏卓;王东艳;杨镒箫;张明睿;姜宇;孙家广;1647-1662
面向AADL模型的存储资源约束可调度性分析
陆寅;秦树东;习乐琪;董云卫;1663-1681
基于锁增广分段图的多线程程序死锁检测
鲁法明;郑佳静;包云霞;曾庆田;段华;王晓宇;1682-1700
基于污染变量关系图的Android应用污点分析工具
张捷;田聪;段振华;1701-1716
以太坊中间语言的可执行语义
韩宁;李希萌;张倩颖;王国辉;施智平;关永;1717-1732
个体交互行为的平滑干预模型
刘霄;章昭辉;魏子明;王鹏伟;1733-1747
支持乱序执行的Raft协议
谷晓松;魏恒峰;乔磊;黄宇;1748-1778
面向CPS时空性质验证的混成AADL建模与模型转换方法
陈小颖;祝义;赵宇;王金永;1779-1798
芯片开发功能验证的形式化方法
姚广宇;张南;田聪;段振华;刘灵敏;孙风津;1799-1817
面向数据流的ROS2数据分发服务形式建模与分析
芦倩;李晓娟;关永;王瑞;施智平;1818-1829
Ptolemy离散事件模型形式化验证方法
陆芝浩;王瑞;孔辉;关永;施智平;1830-1848
面向MSVL的智能合约形式化验证
王小兵;杨潇钰;舒新峰;赵亮;1849-1866
面向ROS的差分模糊测试方法
王颖;王冰青;关永;李晓娟;王瑞;1867-1881
基于Coq的分块矩阵运算的形式化
麻莹莹;马振威;陈钢;1882-1909
模式识别与人工智能
基于理性信任模型的理性委托计算协议
冯能先;田有亮;1910-1922
《软件学报》投稿指南
1923
《软件学报》2021年出版专刊/专题1924