SMACK+Corral: A Modular Verifier (Competition Contribution)

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), London, UK.
[pdf] [bib]

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.

Bibtex:

@inproceedings{tacas2015-hcelqr,
  author = {Arvind Haran and Montgomery Carter and Michael Emmi and Akash Lal and
    Shaz Qadeer and Zvonimir Rakamari\'c},
  title = {{SMACK+Corral}: A Modular Verifier (Competition Contribution)},
  booktitle = {Proceedings of the 21st International Conference on
    Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  series = {Lecture Notes in Computer Science},
  volume = {9035},
  publisher = {Springer},
  editor = {Christel Baier and Cesare Tinelli},
  year = {2015},
  pages = {450--453},
}