Improving Generalization in Software IC3

Cham / Springer (2018) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

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

Identifier