首页> 外文OA文献 >Compositionality for Improving Model Checking

【2h】

Compositionality for Improving Model Checking

机译：改进模型检查的组合性

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Antonella Santone;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Compositionality and locality for improving model checking in the selective mu-calculus [J] . Antonella Santone, Gigliola Vaglini Science of Computer Programming . 2005,第2a3期

机译：组成性和局部性，以改进选择性微积分中的模型检查
2. Compositional Model Checking and Model Repair for a Class of Product Form Models [J] . Amin Soltanieh, Markus Siegle Electronic Notes in Theoretical Computer Science . 2020,第6期

机译：一类产品形式模型的组成模型检查和模型修复
3. Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models [J] . Marjan Sirjani, Ali Movaghar, Amin Shali, Journal of Universal Computer Science . 2005,第6期

机译：Rebeca模型的模型检查，自动抽象和组成验证
4. Compositional equivalence checking for models and code of control systems [C] . Majumdar R., Saha I., Ueda K., IEEE Annual Conference on Decision and Control . 2013

机译：控制系统模型和代码的组成等效检查
5. Safety analysis of software product lines using state-based modeling and compositional model checking [D] . Liu, Jing 2008

机译：基于状态建模和成分模型检查的软件产品线安全性分析
6. Improved statistical model checking methods for pathway analysis [O] . Chuan Hock Koh, Sucheendra K Palaniappan, PS Thiagarajan, 2012

机译：改进的用于路径分析的统计模型检查方法
7. Compositionality and locality for improving model checking in the selective mu-calculus [O] . Santone Antonella, Vaglini Gigliola 2005

机译：组成性和局部性，以改进选择性微积分中的模型检查

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号