DMCA

K.: Behavioral consistency of C and Verilog programs using bounded model checking

by Edmund Clarke , Daniel Kroening , Karen Yorav
Venue:In: DAC, ACM
Citations:96 - 18 self