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

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


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]