| |
2018年第29卷第6期目录
本期目录 | | | 服务组合安全隐私信息流静态分析方法 | | | 彭焕峰,黄志球,刘林源,李勇,柯昌博 | | | 2018,29(6):1739-1755 | | | [摘要](4868) [PDF 1.76 M](6741) | | | 基于条件概率模型的缺陷定位方法 | | | 舒挺,黄明献,丁佐华,王磊,夏劲松 | | | 2018,29(6):1756-1769 | | | [摘要](4185) [PDF 1.97 M](6825) | | | 基于包含度的子图匹配方法 | | | 李瑞远,洪亮 | | | 2018,29(6):1792-1812 | | | [摘要](4339) [PDF 2.27 M](8747) | |
专刊文章 | | | 形式化方法的理论基础专题前言 | | | 傅育熙,李国强,田聪 | | | 2018,29(6):1515-1516 | | | [摘要](3927) [PDF 295.58 K](7895) | | | 互模拟准局部验证算法的扩展与实现 | | | 郑晓琳,邓玉欣,付辰,雷国庆 | | | 2018,29(6):1517-1526 | | | [摘要](4146) [PDF 1.03 M](7802) | | | 自动分析递归数据结构的归纳性质 | | | 汤震浩,李彬,翟娟,赵建华 | | | 2018,29(6):1527-1543 | | | [摘要](4252) [PDF 1.61 M](9507) | | | 自动合成数组不变式 | | | 李彬,翟娟,汤震浩,汤恩义,赵建华 | | | 2018,29(6):1544-1565 | | | [摘要](4528) [PDF 2.23 M](6458) | | | 向量加法系统验证问题研究综述 | | | 张文博,龙环 | | | 2018,29(6):1566-1581 | | | [摘要](4410) [PDF 1.71 M](6946) | | | 异构多智能体系统模型检查 | | | 张业迪,宋富 | | | 2018,29(6):1582-1594 | | | [摘要](4449) [PDF 1.36 M](7546) | | | 基于SMT的时钟约束语言CCSL的形式化分析方法与工具 | | | 应云辉,张民 | | | 2018,29(6):1595-1606 | | | [摘要](4941) [PDF 1.35 M](7809) | | | 消息传递的MSVL通信机制及其实现 | | | 王小兵,郭文轩,段振华 | | | 2018,29(6):1607-1621 | | | [摘要](4580) [PDF 2.01 M](7472) | | | 普适计算应用时空性质的运行时验证 | | | 李晅松,陶先平,宋巍 | | | 2018,29(6):1622-1634 | | | [摘要](4253) [PDF 1.47 M](7282) | | | APTL公式的可满足性检查工具 | | | 王海洋,段振华,田聪 | | | 2018,29(6):1635-1646 | | | [摘要](4387) [PDF 1.31 M](7051) | | | 基于类型理论的领域数据建模和验证及案例 | | | 乌尼日其其格,李小平,马世龙,吕江花 | | | 2018,29(6):1647-1669 | | | [摘要](4395) [PDF 2.71 M](7529) | | | 一种嵌套中断系统的建模和分析方法 | | | 崔进,段振华,田聪,张南 | | | 2018,29(6):1670-1680 | | | [摘要](4339) [PDF 1.29 M](7912) | | | 考虑中断和上下文切换开销的响应时间分析 | | | 于广良,杨孟飞 | | | 2018,29(6):1681-1698 | | | [摘要](4144) [PDF 2.15 M](8973) | | | 机器人关节通信总线系统的建模与验证 | | | 孟瑶,李晓娟,关永,王瑞,张杰 | | | 2018,29(6):1699-1715 | | | [摘要](4689) [PDF 1.99 M](8359) | |
综述文章
|
