SMACK+Corral: A Modular Verifier (Competition Contribution)
- Arvind Haran ,
- Montgomery Carter ,
- Michael Emmi ,
- Akash Lal ,
- Shaz Qadeer ,
- Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
Published by Springer
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.