model checking; abstraction; temporal and strategic logics; modular interpreted systems;
机译:高效抽象提炼的大型异步设计的模块化模型检查
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:通过有界模型检查来检查定时解释系统的EMTLK属性
机译:用于模型检查模块化解释系统的抽象
机译:用于字级模型检查的高效抽象和改进
机译:使用模型编程:模块化和抽象为系统生物学提供强大的功能
机译:通过ATL进行模型检查的模块化解释系统的抽象