Flat Acceleration in Symbolic Model Checking

机译：符号模型检查中的平面加速度

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called "acceleration techniques" enhance the convergence of fixpoint computations by computing the transitive closure of some transitions. In this paper we develop a new framework for symbolic model checking with accelerations. We also propose and analyze new symbolic algorithms using accelerations to compute reachability sets.

机译：符号模型检查提供了部分有效的验证过程，可以处理具有无限状态空间的系统。所谓的“加速技术”通过计算某些过渡的传递闭包来增强定点计算的收敛性。在本文中，我们开发了一种用于符号模型加速检查的新框架。我们还提出并分析了使用加速来计算可达性集的新符号算法。

著录项

来源
《International Symposium on Automated Technology for Verification and Analysis(ATVA 2005); 20051004-07; Taibei(CT)》|2005年|P.474-488|共15页
会议地点 Taibei(CT)
作者
Sebastien Bardin; Alain Finkel; Jerome Leroux; Philippe Schnoebelen;
展开▼
作者单位

LSV: ENS de Cachan CNRS UMR 8643, 61, av. Pdt. Wilson, 94235 Cachan Cedex, France;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类性能分析、功能分析;
关键词
verification of infinite-state systems; symbolic model checking; acceleration;

机译：无限状态系统验证;符号模型检查;加速度;

相似文献

外文文献
中文文献
专利

1. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis [J] . Corina S. Pasareanu, Willem Visser, David Bushnell, Automated software engineering . 2013,第3期

机译：Symbolic PathFinder：将符号执行与模型检查集成在一起，以进行Java字节码分析
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. Flat Acceleration in Symbolic Model Checking [C] . International Symposium on Automated Technology for Verification and Analysis . 2005

机译：符号模型检查的平加速度
5. Event modeling and verification of chemical processes using symbolic model checking. [D] . Turk, Adam Leslie. 1999

机译：使用符号模型检查对化学过程进行事件建模和验证。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Flat Acceleration in Symbolic Model Checking [O] . Bardin, Sébastien, Finkel, Alain, Leroux, Jérôme, 2005

机译：符号模型检查中的平面加速度
8. Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking [R] . Cavada, R. , Pecheur, C. 2003

机译：基于符号模型检验的大型模型可诊断性实用形式验证

Flat Acceleration in Symbolic Model Checking

摘要

著录项

相似文献

相关主题

期刊订阅