Searching for i-Good Lemmas to Accelerate Safety Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu. Searching for i-Good Lemmas to Accelerate Safety Model Checking. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Volume 13965 of Lecture Notes in Computer Science, pages 288-308, Springer, 2023. [doi]

This author has not been identified. Look up 'Yechuan Xia' in GoogleThis author has not been identified. Look up 'Anna Becchi' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Alberto Griggio' in GoogleThis author has not been identified. Look up 'Jianwen Li' in GoogleThis author has not been identified. Look up 'Geguang Pu' in Google

runs on WebDSL