| |
2022年第33卷第8期目录
本期目录 专刊文章 | | | 形式化方法与应用专题前言 | | | 陈立前，孙猛 | | | 出版日期: 2022-08-06 (2 页) | | | 2022,33(8):2753-2754 | | | [摘要](1555) [PDF 359.56 K](4930) | | | 面向SQLite3数据库API调用序列的并行运行时验证方法 | | | 于斌，陆旭，田聪，段振华，张南 | | | 出版日期: 2022-08-06 (17 页) | | | 2022,33(8):2755-2768 | | | [摘要](2576) [PDF 1.77 M](5684) | | | 一种利用非确定规划的LTL合成方法 | | | 陆旭，于斌，田聪，段振华 | | | 出版日期: 2022-08-06 (13 页) | | | 2022,33(8):2769-2781 | | | [摘要](2157) [PDF 1.40 M](5135) | | | 基于基本并行进程的异步通信程序的验证方法 | | | 赵樱，谭锦豪，李国强 | | | 出版日期: 2022-08-06 (15 页) | | | 2022,33(8):2782-2796 | | | [摘要](2079) [PDF 1.66 M](5456) | | | 运用时间分类树的确定单时钟时间自动机学习 | | | 米钧日，张苗苗，安杰，杜博闻 | | | 出版日期: 2022-08-06 (19 页) | | | 2022,33(8):2797-2814 | | | [摘要](2101) [PDF 2.05 M](5570) | | | 面向CPS时空约束的资源建模及其安全性验证方法 | | | 陈小颖，祝义，赵宇，王金永 | | | 出版日期: 2022-08-06 (27 页) | | | 2022,33(8):2815-2838 | | | [摘要](2500) [PDF 2.75 M](13178) | | | 基于消息传递关系网络的布尔可满足性预测 | | | 包冬庆，葛宁，翟树茂，张莉 | | | 出版日期: 2022-08-06 (12 页) | | | 2022,33(8):2839-2850 | | | [摘要](1766) [PDF 1.23 M](5004) | | | 智能合约的时间约束模式及其形式化验证 | | | 赵颖琪，朱雪阳，李广元，包玉龙 | | | 出版日期: 2022-08-06 (22 页) | | | 2022,33(8):2875-2895 | | | [摘要](2896) [PDF 2.41 M](6217) | | | TSO内存模型下限界可线性化的可判定性研究 | | | 王超，吕毅，吴鹏，贾巧雯 | | | 出版日期: 2022-08-06 (23 页) | | | 2022,33(8):2896-2917 | | | [摘要](2325) [PDF 2.00 M](5596) | | | 基于深度学习和反例制导的循环程序秩函数生成 | | | 林开鹏，梅国泉，林望，丁佐华 | | | 出版日期: 2022-08-06 (13 页) | | | 2022,33(8):2918-2929 | | | [摘要](2040) [PDF 1.19 M](4957) | | | 基于时态测试器的实时分支时态逻辑模型检测 | | | 骆翔宇，黄欣玥，古天龙，苏开乐，陈祖希，郑黎晓 | | | 出版日期: 2022-08-06 (19 页) | | | 2022,33(8):2930-2946 | | | [摘要](2319) [PDF 1.86 M](5384) | | | 模拟实时系统的点区间优先级时间Petri网与TCTL验证 | | | 何雷锋，刘关俊 | | | 出版日期: 2022-08-06 (17 页) | | | 2022,33(8):2947-2963 | | | [摘要](2367) [PDF 1.75 M](5302) | | | 基于抽象解释的函数内联过程间分析优化方法 | | | 陈涛清，范广生，尹帮虎，陈立前，王戟 | | | 出版日期: 2022-08-06 (16 页) | | | 2022,33(8):2964-2979 | | | [摘要](2151) [PDF 1.51 M](5081) | | | 基于锁耦合遍历算法的文件系统终止性验证 | | | 邹沫，谢昊彤，魏卓然，陈海波 | | | 出版日期: 2022-08-06 (15 页) | | | 2022,33(8):2980-2994 | | | [摘要](1874) [PDF 1.53 M](4752) | | | 软硬件综合AADL可靠性建模及分析方法 | | | 陆寅，秦树东，郭鹏，董云卫 | | | 出版日期: 2022-08-06 (21 页) | | | 2022,33(8):2995-3014 | | | [摘要](2393) [PDF 2.07 M](5647) | |
综述文章 本期目录 综述文章 本期目录
|
