首页> 外文OA文献 >Compositionality and locality for improving model checking in the selective mu-calculus

【2h】

Compositionality and locality for improving model checking in the selective mu-calculus

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

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

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

展开▼
年度 2005
总页数
原文格式 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. Heuristic search + local model checking in selective mu-calculus [J] . Santone A. IEEE Transactions on Software Engineering . 2003,第6期

机译：选择性mu-演算中的启发式搜索+局部模型检查
3. Game-Based Local Model Checking for the Coalgebraic mu-Calculus [J] . Daniel Hausmann, Lutz Schr?der LIPIcs : Leibniz International Proceedings in Informatics . 2019,第2期

机译：代数mu-微积分的基于游戏的局部模型检查
4. Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus [C] . Naoki Kobayashi, C.-H. Luke Ong Automata, languages and programming . 2009

机译：模态Mu-微积分片段的模型检查递归方案的复杂性
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 for Improving Model Checking [O] . Antonella Santone 2000

机译：改进模型检查的组合性
8. Practical Symbolic Model Checking of the Full mu-Calculus Using CompositionalAbstractions [R] . Kelb, P., Dams, D., Gerth, R. 1995

机译：用Compositionalabstractions检验全μ微积分的实用符号模型

Compositionality and locality for improving model checking in the selective mu-calculus

著录项

引文网络

相似文献

相关主题

期刊订阅