Sat-based compositional verification using lazy learning (2007)

by Nishant Sinha, Edmund Clarke
Venue:In In CAV