...
机译:正式验证用于代码生成的QVT转换
Univ Augsburg, Inst Software & Syst Engn, D-86135 Augsburg, Germany;
Univ Augsburg, Inst Software & Syst Engn, D-86135 Augsburg, Germany;
Univ Augsburg, Inst Software & Syst Engn, D-86135 Augsburg, Germany;
Correctness of model transformations; QVT; Formal verification; Interactive theorem proving;
机译:基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证
机译:基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证
机译:E-SPARK:从正式验证的设计中自动生成可能正确的代码
机译:用于代码生成的QVT转换的形式验证
机译:JVM及其字节码验证程序的正式规范和验证。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:代码生成和验证工具的正式证明
机译:利用伪码的形式化验证建立算法代码实现的高可信度