Translation Validation: From Simulink to C
Translation Validation: From Simulink to C
复制标题
翻译验证：从 Simulink 到 C
DOI：
10.1007/978-3-642-02658-4_57
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
O. Strichman
中科院分区：
文献类型：
--
作者：
Michael Ryabtsev;O. Strichman
翻译验证是一种技术，用于正式建立源的语义等效性和代码生成器的目标。在这项工作中，我们为实时研讨会代码生成器提供了一个翻译验证工具，该工具以输入simulink模型接收并生成优化的C代码。
Translation validation is a technique for formally establishing the semantic equivalence of the source and the target of a code generator. In this work we present a translation validation tool for the Real-Time Workshop code generator that receives as input Simulink models and generates optimized C code.