Verification of SpecC and Verilog using Predicate Abstraction - Jain, H; Clarke, E; Kroening, D (IEEE, 2004)