Improving Generalization in Software IC3

Cham / Springer (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / Maria del Mar Gallardo, Pedro Merino (eds.)
Seite(n): 85-102

Autorinnen und Autoren

Autorinnen und Autoren

Lange, Tim
Prinz, Frederick
Neuhäußer, Martin R.
Noll, Thomas
Katoen, Joost-Pieter

Identifikationsnummern