...
机译:使用符号执行对ATL进行全面合同验证
McGill Univ, Sch Comp Sci, Montreal, PQ, Canada;
Univ Seville, Dept Comp Languages & Syst, Seville, Spain;
Fortiss GmbH, Munich, Germany;
TU Wien, Business Informat Grp, Vienna, Austria;
Model transformation; ATL; Formal verification; Symbolic execution; Contracts; Pre-/post-conditions;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:用于合同验证和驳回的高阶符号执行
机译:集成演绎验证和符号执行以在动态逻辑中创建抽象对象
机译:全面验证声明性ATL的转换合同
机译:耦合关系符号执行
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:合同验证和驳回的高阶符号执行