Browsing FAS Scholarly Articles by Keyword "mechanical verification"
Now showing items 1-1 of 1
-
Evaluating Value-Graph Translation Validation for LLVM
(2011-03-22)Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing trans- lation validators do so by trying to match the value-graphs of an original function and ...