LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability.

Yili Jiang, Zhuoran Yan, Ning Ge, Yuan Wang, Jiahao Weng, Chunming Hu

Browse the full FASE paper archive.