Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair

Hongshu Wang, Xinyue Zuo, Yuhan Sun +3

Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…