-
Translation Validation for Transformations on Abstract Clocks in Synchronous ...
Translation validation was introduced as a technique to formally verify the correctness of code generators that attempts to verify that program transformations... -
Evaluating SDVG translation validation: from Signal to C
In this work, we describe how the preservation of value-equivalence of variables can be proved based on translation validation of synchronous data-flow value-graphs....
