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