Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems.

Zi Pong Lim, Bozhi Wu, Yon Shin Teo, Shang-Wei Lin, Yi Li

Browse the full FM paper archive.