search for: uuagc

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...