CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs

Kaiwen Zhang, Guanjun Liu

Recovering concurrency structure directly from source code is difficult because shared-resource identity and protection relations are often obscured by aliasing, ownership, and API…