A Cooperative Parallelization Approach for Property-Directed k-Induction
Informazioni aggiuntive
Autori
Sharygina N.,
Blicha M.,
Hyvärinen A.,
Marescotti M.
Tipo
Contributo in atti di convegno
Anno
2020
Lingua
Inglese
Nome convegno
21th VMCAI 2020
Luogo convegno
New Orleans, LA, USA
Data convegno
January 16-21, 2020
