FM 2026 (series) / Industry Day /
Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems
Wed 20 May 2026 17:10 - 17:30 at 2F Conference Room - Industry Session 3: AI-Assisted Requirements Engineering and Early-Stage Analysis Chair(s): Jeroen Keiren
Wed 20 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 20 May
Displayed time zone: Osaka, Sapporo, Tokyo change
16:50 - 17:50 | Industry Session 3: AI-Assisted Requirements Engineering and Early-Stage AnalysisIndustry Day at 2F Conference Room Chair(s): Jeroen Keiren Eindhoven University of Technology, The Netherlands | ||
16:50 20mIndustry talk | Automated ITL Specification Generation from Industrial Aerospace Requirements Industry Day Zhi Ma Xidian University, Xiao Liang Xidian University, Cheng Wen Xidian University, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Bin Gu Beijing Institute of Control Engineering, Shengchao Qin Xidian University, Cong Tian Xidian University, Mengfei Yang China Academy of Space Technology | ||
17:10 20mIndustry talk | Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems Industry Day Zi Pong Lim Nanyang Technological University, bozhi wu Singapore Management University, Yon Shin Teo Aumovio SE, Shang-Wei LIN Singapore Institute of Technology, Yi Li Nanyang Technological University | ||
17:30 20mIndustry talk | Pragmatic Uses of AI in Formal Methods–Based Railway Projects: Early Lessons and Perspectives Industry Day | ||