TY  - RPRT
TI  - LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
AU  - Zhi Quan Zhou
AU  - Dave Towey
AU  - Tsong Yueh Chen
PY  - 2026
UR  - https://arxiv.org/abs/2605.17926
ID  - 2605.17926
ER  -