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

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]

This author has not been identified. Look up 'Xiaoyu Zhang' in GoogleThis author has not been identified. Look up 'Shengping Xiao' in GoogleThis author has not been identified. Look up 'Yechuan Xia' in GoogleThis author has not been identified. Look up 'Jianwen Li' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in GoogleThis author has not been identified. Look up 'Geguang Pu' in Google

runs on WebDSL