-
Formal Verification of Synchronous Data-flow Compilers
Synchronous data-flow languages have been used successfully for design and implementation of embedded and critical real-time systems. Synchronous language compilers... -
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....
