• 发现者

  • 引用了40篇文章[sw07719]
  • 这个方向,包括SAS本身的求解,终止 分析程序的不变生成和可达性。。。
  • 棱镜

  • 引用396篇文章[sw01186]
  • 决策过程与连续时间马尔可夫链。分析通过对这些系统进行模型检查。。。BDDs(二进制决策图)和MTBDDs(多-终端基于一个稀疏矩阵)。。。
  • 扁桃

  • 引用15篇文章[sw04142]
  • 可访问错误控制状态终止 分析非递归程序的计算终止先决条件。。。
  • 小猫

  • 参考7篇文章[sw17045]
  • 终止 分析使用编译器中间语言的C程序。为编程语言的语义建模。。。像C代表自动化终止 分析如果完全覆盖。。。这些中间语言终止 分析C程序的。在本文中。。。在术语重写系统(TRSs)中终止然后进行证明。。。
  • VMTL公司

  • 引用8篇文章[sw10065]
  • 模块化终止实验室。自动化分析属于终止重写术语已绘制。。。最新和强大的算法终止 分析提供一个开放的接口。。。模块化可扩展性,VMTL重点分析终止条件项重写系统之行为。。。
  • 典型的

  • 引用8篇文章[sw23207]
  • 代码消除,信息流分析,和终止 分析. 前两种分析的目的是静态地。。。
  • 第页

  • 引用19篇文章[sw00669]
  • 抽象解释理论与数据流分析分析仪的实现与设计。。。证明正确和终止分析。数据流分析提供了许多有效的算法,例如。。。
  • 终端机

  • 引用4篇文章[sw08335]
  • 已经有很多关于终止 分析但很少有人。。。我们认为这是一项重要的任务。非-终止 分析检查程序执行历史记录-终止... 用户。Terminyzer包括几个-终止 分析不同的计算复杂性。这些方法。。。可能导致-终止周期。它还提供了序列。。。
  • 滑石

  • 引用5篇文章[sw00946]
  • TALP:一种用于终止 分析逻辑程序。。。
  • 科斯塔

  • 引用23条[sw00162]
  • 自动程序分析并且能够推断出终止有关Java的信息。。。由程序执行。执行成本时分析科斯塔提出了一个成本方程系统,它。。。证明的成本上界终止(这也意味着有界性。。。可能性的范围有哪些不同分析准确性和开销。所有这些,不需要。。。
  • 终结者

  • 引用3篇文章[sw06692]
  • 象征的终止 分析可解循环。终止是程序正确性的重要组成部分。。。
  • 伊莎福

  • 引用3篇文章[sw19193]
  • Isabelle/HOL重写认证的形式化终止 分析)在因斯布鲁克大学。。。
  • 投掷

  • 引用68篇文章[sw07260]
  • 程序可以在;和(3)动态分析程序在随机情况下的行为。。。程序崩溃、断言冲突和-终止. 初步实验以单元测试为例。。。
  • 退出

  • 1条引用[SW333号]
  • 循环分析通过迭代量化。我们提出了一个分析和验证程序的框架。。。部分正确性验证任务,终止 分析以及不变生成。为此,我们表示。。。
  • 乌帕阿尔提加

  • 在38篇文章中引用[sw12913]
  • 真正的实时算法分析. 我们提出的算法[CDFLL05。。。符号算法可以终止在探索整个状态空间之前很久。还有个人。。。
  • 辛西娅

  • 1条引用[sw19663]
  • 行为,例如,是否终止. 全部分析是用牡蛎系统完成的。。。
  • SAS4A

  • 1条引用[sw12523]
  • 燃料熔化和重新安置。SAS4A分析结束在失去组件六边形完整性时。。。
  • A3PAT公司

  • 引用8篇文章[sw21587]
  • 在文学中为人所知,从而产生新的终止标准,例如扩展。。。改进以往的形式化工作和分析依赖关系图。。。