Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. - BRUN, LÉLIO; GARION, CHRISTOPHE; GAROCHE, PIERRE-LOÏC; THIRIOUX, XAVIER (ACM Transactions on Embedded Computing Systems, 2023)