A Cooperative Parallelization Approach for Property-Directed k-Induction

TitleA Cooperative Parallelization Approach for Property-Directed k-Induction
Publication TypeConference Paper
Year of Publication2020
AuthorsBlicha, Martin, Hyvärinen Antti E. J., Marescotti Matteo, and Sharygina Natasha
Conference NameVMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation
Conference Location New Orleans, USA, 19-25 January 2020
DOI10.1007/978-3-030-39322-9_13