• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.

Lélio BrunChristophe GarionPierre-Loïc GarocheXavier Thirioux
Published in: ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases