safety logic; model checking; verification; changeover switching unit;
机译:Rebeca模型的模型检查,自动抽象和组成验证
机译:通过模型检查自动进行视觉建模语言的形式验证
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:通过模型检查验证自动转换切换单元
机译:将类型检查与模型检查相结合以进行系统验证
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:集成形式验证:使用自动抽象模型检查,不变生成和定理证明
机译:基于符号模型检验的大型模型可诊断性实用形式验证