A Cooperative Parallelization Approach for Property-Directed k-Induction
Additional information
Authors
Sharygina N.,
Blicha M.,
Hyvärinen A.,
Marescotti M.
Type
Article in conference proceedings
Year
2020
Language
English
Meeting name
21th VMCAI 2020
Meeting place
New Orleans, LA, USA
Meeting date
January 16-21, 2020
