Displaying 1 result from an estimated 1 matches for "s10836".
Did you mean:
10836
2013 Sep 14
1
[LLVMdev] Publication: LLVMVF: A Generic Approach for Verification of Multicore Software
...presented 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>