首页> 外文OA文献 >Model checking CTL Properties of Pushdown Systems

【2h】

Model checking CTL Properties of Pushdown Systems

机译：下推系统的CTL模型检查模型

页面导航

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

著录项

作者
Igor Walukiewicz;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Efficient CTL model-checking for pushdown systems [J] . Fu Song, Tayssir Touili Theoretical computer science . 2014,第Null期

机译：下推系统的高效CTL模型检查
2. LTL Model Checking for Register Pushdown Systems [J] . Ryoma SENDA, Yoshiaki TAKATA, Hiroyuki SEKI IEICE transactions on information and systems . 2021,第12期

机译：LTL模型检查寄存器推动系统
3. Model checking of pushdown systems for projection temporal logic [J] . Zhao Liang, Wang Xiaobing, Duan Zhenhua Theoretical computer science . 2019,第期

机译：投影时间逻辑推动系统的模型检查
4. Model Checking CTL Properties of Pushdown Systems [C] . Igor Walukiewicz Conference on foundations of software technology and theoretical computer science . 2000

机译：模型检查推动系统的CTL属性
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. Approximating Attractors of Boolean Networks by Iterative CTL Model Checking [O] . Hannes Klarner, Heike Siebert 2015

机译：通过迭代CTL模型检查逼近布尔网络的吸引子
7. Efficient CTL model-checking for pushdown systems [O] . Fu Song, Tayssir Touili 2013

机译：下推系统的高效CTL模型检查
8. V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog [R] . Brat, G P, Martinie, C, Palanque, P 2013

机译：通过对话形式化描述的模型检验，交互系统的词汇，句法和语义属性的V和V.

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号