首页> 外文OA文献 >Comparing sat-based bounded model checking rtectl and ectl properties

【2h】

Comparing sat-based bounded model checking rtectl and ectl properties

机译：比较SAT的有界模型检查RTECTL和ECTL属性

代理获取

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

页面导航

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

著录项

作者
Agnieszka M. Zbrzezny;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems [J] . Woźna-Szcześniak Bożena Fundamenta Informaticae . 2016,第1a2期

机译：基于SAT的加权解释系统的有界模型检查。
2. BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance [J] . Artur Meski, Wojciech Penczek, Maciej Szreter, Autonomous agents and multi-agent systems . 2014,第4期

机译：基于BDD相对于SAT的有界模型检验知识的线性时态逻辑存在性片段：算法及其性能
3. Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-based Bounded Model Checking [J] . Elena Dubrova, Ming Liu, Maxim Teslenko Journal of multiple-valued logic and soft computing . 2012,第1a3期

机译：使用基于SAT的有界模型检查在同步多值网络中寻找吸引子
4. SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems [C] . Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny European performance engineering workshop . 2013

机译：RTECTL和简单定时系统的基于SAT的有界模型检查
5. Unbounded-2-bounded: A two-phase approximation for model checking unbounded until properties of probabilistic system. [D] . Jennings, Paul. 2011

机译：Unbounded-2-bounded：两阶段近似，用于模型检查无穷大直到概率系统的性质。
6. Finite state projection based bounds to compare chemical master equation models using single-cell data [O] . Zachary Fox, Gregor Neuert, Brian Munsky -1

机译：基于有限状态投影的边界以使用单细胞数据比较化学主方程模型
7. Checking RTECTL properties of STSs via SMT-based Bounded Model Checking [O] . Agnieszka Zbrzezny, Andrzej Zbrzezny 2015

机译：通过基于smT的有界模型检验检查sTs的RTECTL属性

Comparing sat-based bounded model checking rtectl and ectl properties

著录项

引文网络

相似文献

相关主题

期刊订阅