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