Showing cs.SEShow all
2 papers · 1 filter
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.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…