[LLVMdev] Publication: "SMACK: Decoupling Source Language Details from Verifier Implementations"

[Zvonimir Rakamaric]

Hi,

So, SMACK is a software verifier based around LLVM, and you can find
more info (PDF, title, abstract) about our recent publication here:
http://soarlab.org/2014/05/smack-decoupling-source-language-details-from-verifier-implementations/

I would appreciate if you could add it to your list of LLVM-based publications.

Thanks!

Best,
-- Zvonimir

--
http://zvonimir.info
http://soarlab.org/