Zi Pong Lim - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Not registered as user

Name:Zi Pong Lim

Country:Singapore

Affiliation:Nanyang Technological University

Contributions

2026

FM

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

Show activities from other conferences

FM 2026-profile
View general profile