[LLVMdev] LLVM project: SMACK Software Verifier

[Zvonimir Rakamaric]

Hi,

I would appreciate if you would add this project description to your
LLVM projects webpage:
SMACK Software Verifier

By <a href="https://github.com/smackers/smack/wiki/Smackers">smackers</a>

<a href="https://github.com/smackers/smack">SMACK</a> is an automated
software verifier, verifying assertions given in its input LLVM
intermediate representation (IR) programs. Under the hood, SMACK is a
translator from the LLVM IR into the Boogie intermediate verification
language (IVL). Targeting Boogie exploits a canonical platform which
simplifies the implementation of algorithms for verification, model
checking, and abstract interpretation.


Thanks in advance!

Best,
-- Zvonimir

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