...
机译:基于元模型的模型一致性和多视图一致性检查
Department of Computer Science, University of York, Heslington, York YO10 5DD, UK;
metamodeling; multiview consistency; formal methods; automated verification;
机译:行为多视图模型的图内和图间一致性检查
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:用于各种内存一致性模型的通用模型检查框架
机译:模型一致性和多视图一致性检查的元模型方法
机译:分布式模型的合并和一致性检查。
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:基于元模型的模型一致性和多视图一致性检查