Displaying 1 result from an estimated 1 matches for "376d2149".
Did you mean:
372149
2013 Sep 14
1
[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. (