Safety Verification and Refutation by k-Invariants and k-Induction.

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

Browse the full SAS paper archive.