Software Verification Using k-Induction.

Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rmmer

Browse the full SAS paper archive.