<div dir="ltr"><div>Dear all,</div><div> </div><div>I'm happy to share a recent publication on a bounded model checker for concurrent programs represented in LLVM IR that integrates the verification framework that I'm developing:</div>
<div> </div><div>Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification of Multicore Software. Journal of Electronic Testing: Theory and Applications, September 2013. (<a href="http://rd.springer.com/article/10.1007/s10836-013-5405-9">http://rd.springer.com/article/10.1007/s10836-013-5405-9</a>)</div>
<div> </div><div>Kind regards,</div><div>Marcelo Sousa</div><div> </div><div> </div></div>