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