DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).

Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer

Browse the full TACAS paper archive.