BDD-Based Software Model Checking with CPAchecker

机译：使用Cpachecker进行基于BDD的软件模型检查

代理获取

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

页面导航

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

著录项

作者
Dirk Beyer; Andreas Stahlbauer;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets [J] . Artur Meski, Wojciech Penczek, Agata Polrola Fundamenta Informaticae . 2011,第3期

机译：基于BDD的1-Safe Petri网时间特性的有界模型检查
2. Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals [J] . Gianpiero Cabodi, Sergio Nocco, Stefano Quer Journal of Universal Computer Science . 2004,第12期

机译：通过基于BDD的近似遍历改进基于SAT的边界模型检查
3. Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals [J] . Gianpiero Cabodi, Sergio Nocco, Stefano Quer Journal of Universal Computer Science . 2004,第12期

机译：通过基于BDD的近似遍历改进基于SAT的边界模型检查
4. BDD-Based Software Model Checking with CPACHECKER [C] . Dirk Beyer, Andreas Stahlbauer International doctoral workshop on mathematical and engineering methods in computer science . 2013

机译：使用CPACHECKER的基于BDD的软件模型检查
5. Symbolic model checking techniques for BDD-based planning in distributed environments. [D] . Goel, Anuj. 2002

机译：用于分布式环境中基于BDD的计划的符号模型检查技术。
6. Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0) [O] . Jean-Marie Cornuet, Virgine Ravigné, Arnaud Estoup 2010

机译：使用DNA序列和微卫星数据通过软件DIYABC（v1.0）推断种群历史并进行模型检查
7. Towards scalable software analysis using combinations and conditions with CPACHECKER [O] . Keremoglu Mehmet Erkan 2011

机译：使用CPACHECKER通过组合和条件进行可扩展的软件分析

BDD-Based Software Model Checking with CPAchecker

著录项

引文网络

相似文献

相关主题

期刊订阅