首页> 外文OA文献 >Local Model Checking Algorithm Based on Mu-calculus with Partial Orders

【2h】

Local Model Checking Algorithm Based on Mu-calculus with Partial Orders

机译：基于MU-微积分的局部模型检查算法，部分订单

代理获取

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

页面导航

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

著录项

作者
Hua Jiang; Qianli Li; Rongde Lin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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-微积分的基于游戏的局部模型检查
2. Compositionality and locality for improving model checking in the selective mu-calculus [J] . Antonella Santone, Gigliola Vaglini Science of Computer Programming . 2005,第2a3期

机译：组成性和局部性，以改进选择性微积分中的模型检查
3. Heuristic search + local model checking in selective mu-calculus [J] . Santone A. IEEE Transactions on Software Engineering . 2003,第6期

机译：选择性mu-演算中的启发式搜索+局部模型检查
4. Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems [C] . Radu Mateescu International Conference on Tools and Algorithms for the Construction and Analysis of Systems . 2002

机译：局部模型检查在非循环标记过渡系统上的模态MU - 微积分
5. Algorithmic, Heuristic, and Systematic Approaches for Software Model Checking of Distributed Systems [D] . ?Lukman, Jeffrey F. 2020

机译：分布式系统软件模型检查的算法，启发式和系统方法
6. Task-Based Model Observer Assessment of A Partial Model-Based Iterative Reconstruction Algorithm in Thoracic Oncologic Multidetector CT [O] . David C. Rotzinger, Damien Racine, Catherine Beigelman-Aubry, -1

机译：基于任务的模型观察者评估在胸部肿瘤多探测器CT中基于部分模型的迭代重建算法
7. A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus [O] . Rance Cleaveland, Bernhard Steffen 1993

机译：一种无交替模态mu-Calculus的线性时间模型检验算法
8. Model Checking Algorithms for the mu-Calculus [R] . Berezin, S., Clarke, E., Jha, S., 1996

机译：μ-Calculus的模型检验算法

Local Model Checking Algorithm Based on Mu-calculus with Partial Orders

著录项

引文网络

相似文献

相关主题

期刊订阅