Improving Generalization in Software IC3

Lange, Tim (Corresponding author); Prinz, Frederick; Neuhäußer, Martin R.; Noll, Thomas; Katoen, Joost-Pieter

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

Identifier