Unbounded safety verification for hardware using software analyzers.

Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham

Browse the full DATE paper archive.