首页> 外文OA文献 >Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

【2h】

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

机译：使用基于SMT的有界模型检查生成马尔可夫链的反例

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Braitling, Bettina; Wimmer, Ralf; Becker, Bernd; Jansen, Nils; Ábrahám, Erika;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking [J] . Agnieszka M. Zbrzezny, Andrzej Zbrzezny OASIcs : OpenAccess Series in Informatics . 2015,第1期

机译：通过基于SMT的有界模型检查来检查TRWIS的WECTLK属性
2. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains [J] . E. Moritz Hahn, Holger Hermanns, Bjoern Wachter, Fundamenta Informaticae . 2009,第1期

机译：无限状态连续时间马尔可夫链的时界模型检验
3. SMT-based context-bounded model checking for CUDA programs [J] . Phillipe Pereira1, Higo Albuquerque, Isabela da Silva, Concurrency, practice and experience . 2017,第22期

机译：CUDA程序的基于SMT的上下文绑定模型检查
4. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking [C] . Bettina Braitling, Ralf Wimmer, Berrid Becker, Formal techniques for distributed systems . 2011

机译：使用基于SMT的有界模型检查生成马尔可夫链的反例
5. A Markov Chain and Likelihood-Based Model Approach for Automated Test Case Generation, Validation and Prioritization: Theory and Application. [D] . Kashyap, Abhinav. 2013

机译：基于马尔可夫链和似然性的自动测试用例生成，验证和优先级排序的模型方法：理论与应用。
6. Markov chains and semi-Markov models in time-to-event analysis [O] . Erin L. Abner, Richard J. Charnigo, Richard J. Kryscio -1

机译：时间事件分析中的马尔可夫链和半马尔可夫模型
7. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking [O] . Braitling, Bettina, Wimmer, Ralf, Becker, Bernd, 2011

机译：使用基于SMT的有界模型检查生成马尔可夫链的反例
8. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking [R] . Clarke, E., Grumberg, O., McMillan, K., 1994

机译：在符号模型检验中有效生成反例和证人

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅