首页> 外文OA文献 >A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

【2h】

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

机译：基于重写的线性时序逻辑的基于重写的模型检查器

代理获取

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

页面导航

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

著录项

作者
Bae Kyungmin; Meseguer José;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting [J] . Kyungmin Bae, José Meseguer Electronic Notes in Theoretical Computer Science . 2012,第12期

机译：基于重写的线性线性时序逻辑的基于模型的检查器
2. Model checking linear temporal logic of rewriting formulas under localized fairness [J] . Kyungmin Bae, Jose Meseguer Science of Computer Programming . 2015,第mara1期

机译：局部公平下的重写公式线性时态逻辑模型检验
3. Formal specification and analysis of functional properties of graph rewriting-based model transformation [J] . MÁrk Asztalos, LÁszlÓ Lengyel, TihamÉr Levendovszky Software Testing, Verification and Reliability . 2013,第5期

机译：基于图形重写的模型转换的形式规范和功能特性分析
4. The Linear Temporal Logic of Rewriting Maude Model Checker [C] . Kyungmin Bae, Jose Meseguer Rewriting logic and its applications . 2010

机译：重写Maude模型检查器的线性时间逻辑
5. Rewriting-based model checking methods. [D] . Bae, Kyungmin. 2014

机译：基于重写的模型检查方法。
6. Antelope: a hybrid-logic model checker for branching-time Boolean GRN analysis [O] . Gustavo Arellano, Julián Argil, Eugenio Azpeitia, 2011

机译：羚羊：用于分支时间布尔GRN分析的混合逻辑模型检查器
7. A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting [O] . Kyungmin Bae, Jose ́ Meseguer 2008

机译：一种基于重写的重写线性时序逻辑模型检验器

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

著录项

引文网络

相似文献

相关主题

期刊订阅