Accelerate Safety Model Checking Based on Complementary Approximate Reachability - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu. Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(9):3105-3117, September 2023. [doi]

The following publications are possibly variants of this publication:

Implication-Based Approximating Bounded Model CheckingZhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang. fsen 2007: 350-363 [doi]

Safety model checking with complementary approximationsJianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi. iccad 2017: 95-100 [doi]

runs on WebDSL