Displaying 2 results from an estimated 2 matches for "uuindex".
Did you mean:
uindex
2013 Jan 30
2
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
...ompiler) and implemented a first version
of a SMT BMC for concurrent c programs at the LLVM IR level. I
describe this framework in my MSc. thesis: A Framework for Formal
Verification of Concurrent Software which is accessible here:
http://igitur-archive.library.uu.nl/student-theses/2012-0925-200740/UUindex.html
Thank you.
Kind regards,
Marcelo
2013 Feb 02
0
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
...nted a first version
> of a SMT BMC for concurrent c programs at the LLVM IR level. I
> describe this framework in my MSc. thesis: A Framework for Formal
> Verification of Concurrent Software which is accessible here:
> http://igitur-archive.library.uu.nl/student-theses/2012-0925-200740/UUindex.html
>
> Thank you.
>
> Kind regards,
> Marcelo