3 papers
cs.SE2026
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…
cs.SE2025
PAT-Agent: Autoformalization for Model Checking
Xinyue Zuo, Yifan Zhang, Hongshu Wang +4
Recent advances in large language models (LLMs) offer promising potential for automating formal methods. However, applying them to formal verification remains challenging due to th…
cs.SE2025
LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
Yunrui Pei, Hongshu Wang, Wenjie Zhang +3
Determining the dynamic data dependency of a step that reads a variable is challenging. It typically requires either exhaustive instrumentation, which becomes prohibitively exp…