Tengfei Li 0002, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu 0012, Haiying Sun. Enhancing the Formal Verification of Train Control Systems based on Decomposition. In Hossain Shahriar, Yuuichi Teranishi, Alfredo Cuzzocrea, Moushumi Sharmin, Dave Towey, A. K. M. Jahangir Alam Majumder, Hiroki Kashiwazaki, Ji-Jiang Yang, Michiharu Takemoto, Nazmus Sakib, Ryohei Banno, Sheikh Iqbal Ahamed, editors, 47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, Torino, Italy, June 26-30, 2023. pages 1804-1809, IEEE, 2023. [doi]
Abstract is missing.