CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution).

Kareem Khazem, Michael Tautschnig

Browse the full TACAS paper archive.