contracts; program verification; ATL model transformation verification; Atlas Transformation Language; DSLTrans specification; de-facto standard; declarative ATL subset; model-driven development; postcondition contract; precondition contract; scalability; symbolic-execution property prover; transformation contract verification; transformation language; Computational modeling; Contracts; Impedance matching; Industries; Mathematical model; Model-driven development; Standards; ATL; Contracts; Formal verification; Model transformation; Pre-/Post-conditions; Symbolic execution;
机译:切片ATL模型转换以实现可扩展的演绎验证和故障定位
机译:通过基于图重写的模型转换的声明性描述进行自动验证
机译:通过不变量验证和验证声明性模型到模型的转换
机译:全面验证声明性ATL的转换合同
机译:真实与转型领导行为的感知效果与卫生服务组织组织承诺的感知效果研究
机译:乳腺癌患者中核癌炎症和心理作用验证临床炎症和心理作用的心理社会基因组学试验研究:初步结果
机译:通过不变量验证和验证声明性模型到模型的转换