SMACK software verification toolchain.

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi

Browse the full ICSE paper archive.