llvm dev - Sep 2013 - [LLVMdev] Publication: LLVMVF: A Generic Approach for Verification of Multicore Software

Dear all,

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:

Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification
of Multicore Software. Journal of Electronic Testing: Theory and
Applications, September 2013. (
http://rd.springer.com/article/10.1007/s10836-013-5405-9)

Kind regards,
Marcelo Sousa
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130914/eec1ede1/attachment.html>

Added to the pubs' list:

http://llvm.org/pubs/

cheers,
--renato


On 14 September 2013 23:03, Marcelo Sousa <marceloabsousa at gmail.com>
wrote:
> Dear all,
>
> 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:
>
> Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification
> of Multicore Software. Journal of Electronic Testing: Theory and
> Applications, September 2013. (
> http://rd.springer.com/article/10.1007/s10836-013-5405-9)
>
> Kind regards,
> Marcelo Sousa
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130915/376d2149/attachment.html>