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