| |
2026年第37卷第9期目录
形式化方法与应用 | | | 形式化方法与应用专题前言 | | | 安杰，顾斌，李建文 | | | 出版日期: 2026-09-06 (2 页) | | | 2026,37(9):3405-3406 | | | [摘要](260) [PDF 232.56 K](118) | | | AWTaint: 面向Web应用漏洞检测的增量静态分析框架 | | | 罗天涵，肖庆，戴嘉润，谭杰 | | | 出版日期: 2026-09-06 (29 页) | | | 2026,37(9):3407-3434 | | | [摘要](1079) [PDF 1.68 M](694) | | | 基于按需切片计算的并行化程序分析框架 | | | 李俊锋，苑旭东，魏晨雨，厉剑豪，张迎周 | | | 出版日期: 2026-09-06 (22 页) | | | 2026,37(9):3435-3456 | | | [摘要](904) [PDF 1.53 M](582) | | | 数学分析机械化工程I: 一元微积分形式化系统 | | | 窦国威，郁文生 | | | 出版日期: 2026-09-06 (35 页) | | | 2026,37(9):3457-3490 | | | [摘要](957) [PDF 2.24 M](649) | | | 基于Auto-active与交互式集成的L4线程管理形式化验证 | | | 章乐平，赵永望，王布阳，李建欣 | | | 出版日期: 2026-09-06 (17 页) | | | 2026,37(9):3491-3507 | | | [摘要](723) [PDF 1006.89 K](567) | | | 混成精化逻辑 | | | 孙欢，王竟亦，王文海 | | | 出版日期: 2026-09-06 (14 页) | | | 2026,37(9):3508-3520 | | | [摘要](829) [PDF 1.37 M](528) | | | 从设计到安全分析: 异构模型转换与交叉验证 | | | 吴梦丹，杨顺昆，侯展意，佘志坤，曾福萍，冀振燕 | | | 出版日期: 2026-09-06 (37 页) | | | 2026,37(9):3521-3556 | | | [摘要](1052) [PDF 8.60 M](699) | | | 模糊映射熵驱动的强化学习系统安全监控方法 | | | 杨敏，周子渊，李晓锋，刘关俊 | | | 出版日期: 2026-09-06 (20 页) | | | 2026,37(9):3557-3576 | | | [摘要](878) [PDF 3.76 M](672) | | | 观察树驱动的确定性时间自动机主动学习 | | | 滕宇，张苗苗 | | | 出版日期: 2026-09-06 (24 页) | | | 2026,37(9):3577-3597 | | | [摘要](822) [PDF 5.03 M](674) | | | 基于大语言模型的Python到Dafny 代码翻译 | | | 杜奕成，卢奕函，朱雪阳，张文辉 | | | 出版日期: 2026-09-06 (18 页) | | | 2026,37(9):3598-3614 | | | [摘要](1011) [PDF 988.18 K](866) | |
系统软件与软件工程 模式识别与人工智能 数据库技术 计算机网络与信息安全 计算机图形学与计算机辅助设计
|
