@inproceedings{haran2015smack,
author = {Haran, Arvind and Carter, Montgomery and Emmi, Michael and Lal, Akash and Qadeer, Shaz and Rakamaric, Zvonimir},
title = {SMACK+Corral: A Modular Verifier (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
year = {2015},
month = {March},
abstract = {SMACK and Corral are two components of a modular toolchain for verifying C programs. Together they exploit state-of-the-art compiler technologies and theorem provers to simplify and dispatch verification conditions.},
publisher = {Springer},
url = {http://approjects.co.za/?big=en-us/research/publication/smackcorral-a-modular-verifier-competition-contribution/},
edition = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
}