Computing over-approximations with bounded model checking (Electronic Notes in Theoretical Computer Science, 2006)

(untitled) - Kroening, D