Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Article in ACM Transactions on Embedded Computing Systems (September 2023)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Article in ACM Transactions on Embedded Computing Systems (September 2023)
Article in Science of Computer Programming (June 2023)
Preprint in SSRN Electronic Journal (January 2022)