SeaHorn: A Framework for Verifying C Programs (Competition Contribution).

Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas

Browse the full TACAS paper archive.