CBMC - C Bounded Model Checker - (Competition Contribution).

Daniel Kroening, Michael Tautschnig

Browse the full TACAS paper archive.