3 papers
cs.SE2026
BTOR2-Based C Program Verification via Hardware Model Checking
Xinyu Zhang, Runxuan Fang, Ziqun Bao +3
Program verification tools often rely on specific intermediate representations and analysis backends, limiting the reuse of verification algorithms and model checkers across framew…
cs.LO2026
Understanding CDCL Solvers via Scalability Studies and Proofdoors
Shimin Zhang, Yechuan Xia, Chunxiao Li +3
Over the past several decades, CDCL SAT solvers have proven remarkably effective on large industrial formulas, despite SAT being NP-complete and widely believed to be intractable.…
cs.SE2022
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals
Yechuan Xia, Jianwen Li, Shengping Xiao +2
In goal-oriented requirement engineering, boundary conditions(BC) are used to capture the divergence of goals, i.e., goals cannot be satisfied as a whole in some circumstances. As…