Book
Oct 2026
DafnyRAG: A Retrieval-Augmented and Verification-Driven Tool for Automated Repair of Dafny Code
Yan-Zhen Liu, Xu Lu, Bin Yu et al.
· 0 citations
3 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Open access
Sep 2026
Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
A model checking approach for detecting assertion violations in interrupt-driven programs by considering the unique enable-before mechanism specific to interrupt-driven programs, infeasible partial-order constraints are identified and eliminated, resulting in a simplified formula for more efficient reasoning.
Bin Yu, Xu Lu, Yuanzhe Liu et al.
· ACM Transactions on Embedded... · 0 citations
Book
Open access
Jul 2026
IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
A model checking approach that leverages interrupt mechanisms to prune the search space at the constraint-encoding stage, showing how leveraging interrupt semantics in constraint encoding can mitigate the state-space explosion in verifying complex embedded software.
Zixuan Yuan, Bin Yu, Xu Lu et al.
· SIGSOFT FSE Companion · 0 citations