On Effectiveness of Formal Model Repair by Large Language Models

Sebastião Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa. On Effectiveness of Formal Model Repair by Large Language Models. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025 - Workshops, Seoul, Republic of Korea, November 16-20, 2025. pages 121-128, IEEE, 2025. [doi]

Abstract

Abstract is missing.