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):0 [Abstract(27)]  [View PDF(43)1.02 M]

Incremental Satisfiability Modulo Theories for Neural Network Verification 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):0 [Abstract(22)]  [View PDF(41)2.05 M]

Formal Verification of the 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):0 [Abstract(31)]  [View PDF(44)710.95 K]

Meta-Interpretive Learning Based on Memory Strategy WANG Rong, TIAN Cong, SUN Jun, YU Bin, DUAN Zhen-Hua 2025,36(8):0 [Abstract(13)]  [View PDF(32)1.60 M]

GhostFunc: A Verification Method for Rust Operating System Kernels HE Tao, DONG Wei, WEN YJ 2025,36(8):0 [Abstract(35)]  [View PDF(48)1.15 M]

Approach for Scenario Modeling with SML4ADS2.0 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):0 [Abstract(14)]  [View PDF(32)1.60 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):0 [Abstract(34)]  [View PDF(40)3.08 M]

A Trusted Compilation Method 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):0 [Abstract(15)]  [View PDF(41)1.06 M]

Formal Verification of Capability-based Access Control of Operating System Kernels 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):0 [Abstract(30)]  [View PDF(45)828.61 K]

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):0 [Abstract(13)]  [View PDF(42)1.37 M]

Survey on Formal Verification for Rust language ZHANG Zhuo-Ruo, CHANG Rui, YANG Shen-Yi, CHEN Fang 2025,36(8):0 [Abstract(210)]  [View PDF(92)1.21 M]

Causal Spatiotemporal Semantic-Driven Deep Reinforcement Learning Abstraction Modeling Method TIAN Li-Li, DU De-Hui, NIE Ji-Hui, CHEN Yi-Kang, LI Ying-Da 2025,36(8):0 [Abstract(29)]  [View PDF(48)1.34 M]