Page 4 - 《软件学报》2025年第8期

Journal of Software Vol.36, No.8 Aug. 2025

Contents

SPECIAL TOPIC ON FORMAL METHODS AND APPLICATIONS

3429 Preface
CHEN Ming-Shuai, TIAN Cong, XIONG Ying-Fei
3431 Fast-USYN: Fast Synthesis from Unitary Matrices to High-quality Quantum Circuits
TAN Si-Wei, LU Li-Qiang, LANG Cong-Liang, CHEN Ming-Shuai, YIN Jian-Wei
3444 Incremental Verification for Neural Network
LIU Zong-Xin, CHI Zhi-Ming, ZHAO Meng-Yu, HUANG Cheng-Chao, HUANG Xiao-Wei, CAI Shao-Wei,
ZHANG Li-Jun, YANG Peng-Fei
3462 Formal Verification of Kinematics and Dynamics of Single-sphere Driven Balancing Robot
ZHANG Shan-Qiang, ZHANG Jing-Zhi, SHI Zhi-Ping, WANG Guo-Hui, GUAN Yong
3477 Meta-interpretive Learning Based on Memory Strategy
WANG Rong, TIAN Cong, SUN Jun, YU Bin, DUAN Zhen-Hua

3494 GhostFunc: Verification Method for Rust Operating System Kernel
HE Tao, DONG Wei, WEN Yan-Jun
3512 Scenario Modeling and Edge-critical Scenario Generation for Autonomous Driving System
DU De-Hui, YE Zhen, ZHENG Cheng-Hang, ZHU Zhen-Zhen, LI Jia-Yun
3531 Functional Modeling and Automatic Verification of Dynamic Order Statistic Tree Structures
ZUO Zheng-Kang, LIU Zeng-Xin, KE Yu-Han, YOU Zhen, WANG Chang-Jing
3554 Trusted Compilation for Synchronous Dataflow Language Based on Pushdown Automata
YU Tao, WANG Shan-Shan, XU Qian-Hui, DONG Xiao-Han, HU Dai-Jin, LUO Jie, YANG Yi-Long, LYU Jiang-Hua,
MA Dian-Fu
3570 Formal Verification of Capability-based Access Control in Operating System Kernel
XU Jia-Le, WANG Shu-Ling, LI Li-Ming, ZHAN Bo-Hua, LYU Yi, DAI Yi-Bo, CUI She-Cheng, WU Peng, TAN Yu,
ZHANG Xue-Jun, ZHAN Nai-Jun
3587 CPS Falsification Based on Hybrid Automata Path Filtering and Dynamic Selection
WANG Jia-Wan, LIU Xi-Tong, BU Lei, LI Xuan-Dong
3604 Survey on Formal Verification Research for Rust Language
ZHANG Zhuo-Ruo, CHANG Rui, YANG Shen-Yi, CHEN Fang
3637 Causal-spatiotemporal-semantics-driven Abstraction Modeling Method for Deep Reinforcement Learning
TIAN Li-Li, DU De-Hui, NIE Ji-Hui, CHEN Yi-Kang, LI Ying-Da

ALGORITHM DESIGN AND ANALYSIS

3655 Local Search Algorithm for Minimum Weakly Connected Dominating Set Problem
LI Rui-Zhi, HE Jin-Tao, OUYANG Dan-Tong
3677 Efficient Local Search Algorithm for Solving Minimum Load Coloring Problem
TIAN Xin-Liang, OUYANG Dan-Tong, ZHOU Hui-Si, JIANG Lu-Yu, TAI Ran, ZHANG Li-Ming

3693 Large-scale Traffic Simulation for Parallel Cities Based on New-generation Supercomputer Tianhe
HE Xian-Hao, HU Yi-Kun, LI Yi-Chen, YAN Yu-Wei, LYU Yi-Sheng, LIAO Qing, LI Yong, LI Ken-Li