首页> 外文OA文献 >Abstraction for model checking modular interpreted systems over ATL

【2h】

Abstraction for model checking modular interpreted systems over ATL

机译：通过ATL进行模型检查的模块化解释系统的抽象

页面导航

著录项
相似文献
相关主题

著录项

作者
Köster Michael; Lohmann Peter;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement [J] . Computers, IEEE Transactions on . 2010,第4期

机译：高效抽象提炼的大型异步设计的模块化模型检查
2. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement [J] . Sumit Kumar Jha, Christopher James Langmead Theoretical computer science . 2011,第21期

机译：利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
3. Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking [J] . Wozna-Szczesniak Bozena, Zbrzezny Andrzej Studia Logica . 2016,第4期

机译：通过有界模型检查来检查定时解释系统的EMTLK属性
4. Abstraction for Model Checking Modular Interpreted Systems over ATL [C] . Michael Koster, Peter Lohmann International Workshop on Programming Multi-Agent Systems . 2012

机译：用于模型检查模块化解释系统的抽象
5. Efficient Abstraction and Refinement for Word-level Model Checking [D] . Ho, Yen-Sheng. 2017

机译：用于字级模型检查的高效抽象和改进
6. Programming with models: modularity and abstraction provide powerful capabilities for systems biology [O] . Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, 2009

机译：使用模型编程：模块化和抽象为系统生物学提供强大的功能
7. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement [O] . Jha Sumit Kumar, Langmead Christopher James 2011

机译：利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
8. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems [R] . Clarke, E. , Fehnker, A. , Han, Z. , 2003

机译：混合系统模型检测中的抽象与反例引导细化

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号