首页> 外文OA文献 >Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation ⋆

【2h】

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation ⋆

机译：基于约束饱和的异步系统符号CTL模型检验⋆

页面导航

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

著录项

作者
Yang Zhao; Gianfranco Ciardo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Bounded saturation-based CTL model checking [J] . Andr??s V??r??s, D??niel Darvas, Tam??s Bartha Estonian Academy of Sciences. Proceedings . 2013,第1期

机译：基于边界的饱和CTL模型检查
2. Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems [J] . Ravie Chandren Muniyandi, Abdullah Mohd. Zin, Zarina Shukor Journal of computer sciences . 2010,第7期

机译：通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
3. Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems | Science Publications [J] . Abdullah M. Zin, Ravie c. Muniyandi, Zarina Shukor Journal of computer sciences . 2010,第7期

机译：使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
4. Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation [C] . Yang Zhao, Gianfranco Ciardo Automated technology for verification and analysis . 2009

机译：使用约束饱和度的异步系统的符号CTL模型检查
5. Witness Generation in Existential CTL Model Checking [D] . Jiang, Chuan. 2019

机译：存在于存在的CTL模型检查中的见证
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Structural Symbolic CTL Model Checking of Asynchronous Systems [O] . Gianfranco Ciardo, Radu Siminiceanu 2003

机译：异步系统的结构符号CTL模型检验
8. Towards Symbolic Model Checking for Multi-Agent Systems via OBDD's [R] . Raimondi, F. , Lomuscio, A. 2005

机译：通过OBDD进行多agent系统的符号模型检测

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation ⋆

著录项

引文网络

相似文献

相关主题

期刊订阅