A Cooperative Parallelization Approach for Property-Directed k-Induction.

Martin Blicha, Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina

Browse the full VMCAI paper archive.