Contents

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 2025,36(8):1-13 [Abstract(119)]  [View PDF(187)3.94 M]

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 2025,36(8):1-18 [Abstract(120)]  [View PDF(196)3.26 M]

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 2025,36(8):1-15 [Abstract(138)]  [View PDF(301)5.70 M]

Meta-interpretive Learning Based on Memory Strategy WANG Rong, TIAN Cong, SUN Jun, YU Bin, DUAN Zhen-Hua 2025,36(8):1-17 [Abstract(126)]  [View PDF(190)6.34 M]

Special Issue's Articles

GhostFunc: Verification Method for Rust Operating System Kernel HE Tao, DONG Wei, WEN Yan-Jun 2025,36(8):1-18 [Abstract(76)]  [View PDF(118)1.17 M]

Contents

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 2025,36(8):1-19 [Abstract(487)]  [View PDF(225)9.65 M]

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 2025,36(8):1-23 [Abstract(279)]  [View PDF(199)4.76 M]

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 2025,36(8):1-16 [Abstract(110)]  [View PDF(189)10.78 M]

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 2025,36(8):1-17 [Abstract(154)]  [View PDF(251)12.27 M]

CPS Falsification Based on Hybrid Automata Path Filtering and Dynamic Selection WANG Jia-Wan, LIU Xi-Tong, BU Lei, LI Xuan-Dong 2025,36(8):1-17 [Abstract(85)]  [View PDF(181)1.63 M]

Survey on Formal Verification Research for Rust Language ZHANG Zhuo-Ruo, CHANG Rui, YANG Shen-Yi, CHEN Fang 2025,36(8):1-33 [Abstract(427)]  [View PDF(305)5.43 M]

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 2025,36(8):1-18 [Abstract(712)]  [View PDF(257)7.01 M]