机译:使用源转换对隐式调用系统进行测试和模型检查
Source transformation; Domain-specific language; Verification; Testing; Model checking; Implicit invocation;
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:用于模型检查图转换系统的启发式解决方案
机译:模型检查隐式调用系统
机译:模型检查隐式调用系统:一种自动分析建筑风格的方法。
机译:使用检查数据检查半参数转换模型
机译:使用源转换对隐式调用系统进行测试和模型检查