Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper).

Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto

Browse the full SEFM paper archive.