Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. - Yechuan Xia; Jianwen Li; Shengping Xiao; Weikai Miao; Geguang Pu (CoRR, 2022)

Searching for i-Good Lemmas to Accelerate Safety Model Checking. - Yechuan Xia; Anna Becchi; Alessandro Cimatti; Alberto Griggio; Jianwen Li; Geguang Pu (CAV (2), 2023)

Accelerate Safety Model Checking Based on Complementary Approximate Reachability. - Xiaoyu Zhang; Shengping Xiao; Yechuan Xia; Jianwen Li; Mingsong Chen 001; Geguang Pu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Avoiding the Shoals - A New Approach to Liveness Checking. - Yechuan Xia; Alessandro Cimatti; Alberto Griggio; Jianwen Li (CAV (1), 2024)

Artifact for CAV'24 paper "Avoiding the Shoals - A New Approach to Liveness Checking". - Yechuan Xia; Alessandro Cimatti; Alberto Griggio; Jianwen Li (Zenodo, 2024)