2022年第33卷第8期目录下载本期目录
基于SysML的机载软件分层精化建模与验证方法肖思慧，刘琦，黄滟鸿，史建琦，郭欣出版日期: 2022-08-06 (24 页)2022,33(8):2851-2874 [摘要(990)] [PDF(3003)5.15 M][HTML(2046)]基于受限MDP的无模型安全强化学习方法朱斐，葛洋洋，凌兴宏，刘全出版日期: 2022-08-06 (17 页)2022,33(8):3086-3102 [摘要(979)] [PDF(2842)1.66 M][HTML(1827)]动态网络中多规则的最短路径查询算法李艳红，王猛，李国徽，罗昌银，杜小坤出版日期: 2022-08-06 (22 页)2022,33(8):3115-3136 [摘要(852)] [PDF(2495)2.09 M][HTML(2055)]
形式化方法与应用专题前言陈立前，孙猛出版日期: 2022-08-06 (2 页)2022,33(8):2753-2754 [摘要(808)] [PDF(4174)359.56 K][HTML(2447)]面向SQLite3数据库API调用序列的并行运行时验证方法于斌，陆旭，田聪，段振华，张南出版日期: 2022-08-06 (17 页)2022,33(8):2755-2768 [摘要(1477)] [PDF(4672)1.77 M][HTML(3238)]一种利用非确定规划的LTL合成方法陆旭，于斌，田聪，段振华出版日期: 2022-08-06 (13 页)2022,33(8):2769-2781 [摘要(1208)] [PDF(4202)1.40 M][HTML(3518)]基于基本并行进程的异步通信程序的验证方法赵樱，谭锦豪，李国强出版日期: 2022-08-06 (15 页)2022,33(8):2782-2796 [摘要(1225)] [PDF(4399)1.66 M][HTML(2982)]运用时间分类树的确定单时钟时间自动机学习米钧日，张苗苗，安杰，杜博闻出版日期: 2022-08-06 (19 页)2022,33(8):2797-2814 [摘要(1186)] [PDF(4543)2.05 M][HTML(3193)]面向CPS时空约束的资源建模及其安全性验证方法陈小颖，祝义，赵宇，王金永出版日期: 2022-08-06 (27 页)2022,33(8):2815-2838 [摘要(1431)] [PDF(12032)2.75 M][HTML(3527)]基于消息传递关系网络的布尔可满足性预测包冬庆，葛宁，翟树茂，张莉出版日期: 2022-08-06 (12 页)2022,33(8):2839-2850 [摘要(1065)] [PDF(3981)1.23 M][HTML(3444)]智能合约的时间约束模式及其形式化验证赵颖琪，朱雪阳，李广元，包玉龙出版日期: 2022-08-06 (22 页)2022,33(8):2875-2895 [摘要(1816)] [PDF(5140)2.41 M][HTML(4938)]TSO内存模型下限界可线性化的可判定性研究王超，吕毅，吴鹏，贾巧雯出版日期: 2022-08-06 (23 页)2022,33(8):2896-2917 [摘要(1283)] [PDF(4359)2.00 M][HTML(2869)]基于深度学习和反例制导的循环程序秩函数生成林开鹏，梅国泉，林望，丁佐华出版日期: 2022-08-06 (13 页)2022,33(8):2918-2929 [摘要(1072)] [PDF(4016)1.19 M][HTML(3115)]基于时态测试器的实时分支时态逻辑模型检测骆翔宇，黄欣玥，古天龙，苏开乐，陈祖希，郑黎晓出版日期: 2022-08-06 (19 页)2022,33(8):2930-2946 [摘要(1206)] [PDF(4279)1.86 M][HTML(3314)]模拟实时系统的点区间优先级时间Petri网与TCTL验证何雷锋，刘关俊出版日期: 2022-08-06 (17 页)2022,33(8):2947-2963 [摘要(1251)] [PDF(4260)1.75 M][HTML(3042)]基于抽象解释的函数内联过程间分析优化方法陈涛清，范广生，尹帮虎，陈立前，王戟出版日期: 2022-08-06 (16 页)2022,33(8):2964-2979 [摘要(1230)] [PDF(4116)1.51 M][HTML(3612)]基于锁耦合遍历算法的文件系统终止性验证邹沫，谢昊彤，魏卓然，陈海波出版日期: 2022-08-06 (15 页)2022,33(8):2980-2994 [摘要(987)] [PDF(3765)1.53 M][HTML(3109)]软硬件综合AADL可靠性建模及分析方法陆寅，秦树东，郭鹏，董云卫出版日期: 2022-08-06 (21 页)2022,33(8):2995-3014 [摘要(1485)] [PDF(4634)2.07 M][HTML(3740)]
代码自然性及其应用研究进展陈浙哲，鄢萌，夏鑫，刘忠鑫，徐洲，雷晏出版日期: 2022-08-06 (22 页)2022,33(8):3015-3034 [摘要(2199)] [PDF(5833)2.16 M][HTML(3592)]
开源许可证合规性研究王志强，伍胜，肖国强，张自力，刘志有，彭景出版日期: 2022-08-06 (25 页)2022,33(8):3035-3058 [摘要(2263)] [PDF(4939)2.80 M][HTML(3260)]
智能合约安全漏洞检测技术研究综述钱鹏，刘振广，何钦铭，黄步添，田端正，王勋出版日期: 2022-08-06 (27 页)2022,33(8):3059-3085 [摘要(6572)] [PDF(12234)2.63 M][HTML(8574)]
基于感染结果的传播网络推断方法赛影辉，王明鑫，陈畅，雷伯涵，侯叶俏，李翔翔，孙月明，陈旭出版日期: 2022-08-06 (12 页)2022,33(8):3103-3114 [摘要(1031)] [PDF(2933)1.53 M][HTML(1956)]
