Automated abstraction by incremental refinement in interpolant-based model checking.

Gianpiero Cabodi, Paolo Camurati, Marco Murciano

Browse the full ICCAD paper archive.