2 papers
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…