Publication: LLVMVF: A Generic Approach for Verification of Multicore Software

[Marcelo_Sousa1]

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

[Renato_Golin1]

Added to the pubs’ list:

http://llvm.org/pubs/

cheers,
–renato