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

[John Criswell]

Dear Zvonimir,

This is done.  However, if you know how to get the accent over the last 
letter in your name, please let me know.  I don't know how to convince 
HTML to do that.

BTW, it's nice to see an LLVM to Boogie translator, and thanks for 
open-sourcing it.  I suspect SMACK will be a useful tool.

Regards,

John Criswell

On 6/2/14, 2:31 PM, Zvonimir Rakamaric wrote:
> 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/
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev