...
机译:基于类型的抽象提炼方法用于高阶模型检查
higher-order model checking; intersection types; abstraction refinement;
机译:基于类型的抽象提炼方法用于高阶模型检查
机译:基于类型的抽象提炼方法用于高阶模型检查
机译:在模型检查中进行抽象提炼的有效方法
机译:抽象模型检查中的多重细化方法
机译:用于字级模型检查的高效抽象和改进
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于类型的抽象细化方法用于高阶模型检查