Hardware verification using ANSI-C programs as a reference.

Edmund M. Clarke, Daniel Kroening

Browse the full ASPDAC paper archive.