Contents

形式化方法与应用专题前言 安杰，顾斌，李建文 Published September 06, 2026 (2 pages) 2026,37(9):3405-3406 [Abstract(258)]  [View PDF(117)232.56 K]

AWTaint: Incremental Static Analysis Framework for Vulnerability Detection in Web Applications LUO Tian-Han, XIAO Qing, DAI Jia-Run, TAN Jie Published September 06, 2026 (29 pages) 2026,37(9):3407-3434 [Abstract(1075)]  [View PDF(693)1.68 M]

Parallel Program Analysis Framework Based on On-demand Slicing Calculation LI Jun-Feng, YUAN Xu-Dong, WEI Chen-Yu, LI Jian-Hao, ZHANG Ying-Zhou Published September 06, 2026 (22 pages) 2026,37(9):3435-3456 [Abstract(903)]  [View PDF(581)1.53 M]

Mechanizing Mathematical Analysis I: Formal System of Single-variable Calculus DOU Guo-Wei, YU Wen-Sheng Published September 06, 2026 (35 pages) 2026,37(9):3457-3490 [Abstract(954)]  [View PDF(649)2.24 M]

Formal Verification of L4 Thread Management Based on Auto-active and Interactive Integration ZHANG Le-Ping, ZHAO Yong-Wang, WANG Bu-Yang, LI Jian-Xin Published September 06, 2026 (17 pages) 2026,37(9):3491-3507 [Abstract(721)]  [View PDF(565)1006.89 K]

Hybrid Refinement Logic SUN Huan, WANG Jing-Yi, WANG Wen-Hai Published September 06, 2026 (14 pages) 2026,37(9):3508-3520 [Abstract(827)]  [View PDF(527)1.37 M]

From Design to Safety Analysis: Heterogeneous Model Transformation and Cross-validation WU Meng-Dan, YANG Shun-Kun, HOU Zhan-Yi, SHE Zhi-Kun, ZENG Fu-Ping, JI Zhen-Yan Published September 06, 2026 (37 pages) 2026,37(9):3521-3556 [Abstract(1050)]  [View PDF(698)8.60 M]

Fuzzy-mapping-entropy-driven Safety Monitoring Method for Reinforcement Learning Systems YANG Min, ZHOU Zi-Yuan, LI Xiao-Feng, LIU Guan-Jun Published September 06, 2026 (20 pages) 2026,37(9):3557-3576 [Abstract(874)]  [View PDF(671)3.76 M]

Observation-tree-driven Active Learning of Deterministic Timed Automata TENG Yu, ZHANG Miao-Miao Published September 06, 2026 (24 pages) 2026,37(9):3577-3597 [Abstract(819)]  [View PDF(672)5.03 M]

Translation from Python into Dafny Based on Large Language Models DU Yi-Cheng, LU Yi-Han, ZHU Xue-Yang, ZHANG Wen-Hui Published September 06, 2026 (18 pages) 2026,37(9):3598-3614 [Abstract(1009)]  [View PDF(866)988.18 K]

Survey on Cutting-edge Technologies of Web 3.0 WANG Bin, WU Yu-Fang, GAO Yang, LIU Tian-Jian, WENG Yuan, LI Chao, ZHANG Da-Wei, XU Guang-Xia, XU Guang-Quan, ZHU Yong-Sheng, SHEN Meng, ZHU Lie-Huang, WANG Wei Published September 06, 2026 (33 pages) 2026,37(9):3615-3647 [Abstract(518)]  [View PDF(146)1.45 M]

TSK Fuzzy Unlearning Method for Classification WANG Pan, WANG Shi-Tong Published September 06, 2026 (19 pages) 2026,37(9):3648-3666 [Abstract(566)]  [View PDF(1455)971.99 K]

Localizer-oriented Spatio-temporal Logical Semantic Analysis YU Zhi-Heng, XIN Xin Published September 06, 2026 (17 pages) 2026,37(9):3667-3683 [Abstract(632)]  [View PDF(226)2.65 M]

Approximate Cycles Detection Method in Temporal Graph Data JIANG Tao, LI Zhan-Huai Published September 06, 2026 (21 pages) 2026,37(9):3684-3704 [Abstract(478)]  [View PDF(196)986.26 K]

Anonymous Authentication and Key Agreement Protocol Based on SM2 ZHAO Xuan, ZHAO Yan-Qi, SUN Ming-Hong, YU Yong Published September 06, 2026 (14 pages) 2026,37(9):3705-3718 [Abstract(664)]  [View PDF(462)1.16 M]

Computer Graphics and Computer Aided Design

Evaluation of Grayscale Image Colorization Models by Exposing Hard Examples YAN Jie-Bin, PENG Zhen-Tuan, ZHU Wen-Tao, CAI Chao, MAO A-Min, FANG Yu-Ming Published September 06, 2026 (20 pages) 2026,37(9):3719-3738 [Abstract(704)]  [View PDF(552)8.27 M]