Displaying 2 results from an estimated 2 matches for "uuagc".
2013 Jan 30
2
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
...ernational Conference on Hardware/Software Codesign and System
Synthesis (CODES/ISSS), 2012. A link to the paper is accessible from
acm or Alper's website:
http://dl.acm.org/citation.cfm?id=2380498
http://www.cmpe.boun.edu.tr/~sen/publications.htm
Moreover, I have formalized LLVM IR in Haskell/uuagc (Utrecht
University Attribute Grammar Compiler) 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.librar...
2013 Feb 02
0
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
...are/Software Codesign and System
> Synthesis (CODES/ISSS), 2012. A link to the paper is accessible from
> acm or Alper's website:
> http://dl.acm.org/citation.cfm?id=2380498
> http://www.cmpe.boun.edu.tr/~sen/publications.htm
>
> Moreover, I have formalized LLVM IR in Haskell/uuagc (Utrecht
> University Attribute Grammar Compiler) 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:
> htt...