• 发现者

  • 40篇参考文献[SW0719]
  • 这个方向,包括SAS解决自身,终止 分析以及程序的不变量生成和可达性…
  • 棱镜

  • 390篇参考文献[SW01186]
  • 决策过程和连续时间马尔可夫链。分析通过模型检查来执行这样的系统…BDDs(二元决策图)和MTBDDS(多)终端BDDS);一种基于稀疏矩阵的方法。
  • CSI

  • 21篇参考文献[SW09767 ]
  • 灵活组合。开发的方法终止 分析适用于证明和驳斥汇流。初步…
  • 弗拉塔

  • 15篇参考文献[SW04142]
  • 可控制错误控制状态终止 分析非递归程序的计算终止先决条件…
  • 基特尔

  • 7篇参考文献[ SW17045 ]
  • 终止 分析使用编译器中间语言的C程序。模拟编程语言的语义…像C一样自动化终止 分析程序是一个挑战,如果完全覆盖…这些中间语言用于自动化终止 分析C程序。在本文中…进入术语重写系统(TrSS),以及终止证明自己然后执行…
  • VMTL

  • 8篇参考文献[SW10065 ]
  • 模块化终止实验室。自动化分析属于终止术语重写系统(TrSS)已绘制…最新的和强大的算法终止 分析的TSS,同时提供一个开放的接口…模块化可扩展性,VMTL重点分析终止条件项重写系统的行为(CTRSs)
  • 典型

  • 8篇参考文献[SW23 207]
  • 代码消去,信息流分析终止 分析. 前两个分析的目的是静态的…
  • PAG

  • 19篇参考文献[SW0699]
  • 抽象解释理论与数据流理论分析分析仪的设计与实现…可证明正确的推导终止分析。数据流分析提供许多有效的算法,例如…
  • 终端设备

  • 4篇参考文献[SW08335]
  • 已有许多研究终止 分析逻辑程序,但很少有…重要的任务,在我们看来。终止 分析非程序时检查程序执行历史终止用户Terminyzer包括几个非终止 分析不同计算复杂度的方法。这些方法…可能是非原因引起的呼叫终止周期。它还提供了序列…
  • 滑石

  • 5篇参考文献[SW0946]
  • Talp:一个工具终止 分析逻辑程序…
  • 科斯塔

  • 23篇参考文献[SW0162]
  • 自动程序分析并且能够推断成本和终止有关Java的信息…程序执行。执行成本时分析科斯塔产生了一个成本方程系统,它…证明的成本上界终止(这也意味着有界性……不同的可能性范围分析准确性和开销。所有这些,不需要…
  • 终止符

  • 3篇参考文献[SW0692]
  • 象征的终止 分析可解环的终止是程序正确性的一个重要部分…
  • 伊沙菲尔

  • 3篇参考文献[SW19193]
  • 伊莎贝尔/HOL形式化重写认证终止 分析在因斯布鲁克大学…
  • 飞镖

  • 68篇参考文献[SW07260]
  • 程序可以操作;和(3)动态分析程序如何在随机情况下运行…程序崩溃、断言违反和非终止. 初步实验,单元测试几个例子…
  • 退出

  • 1篇参考文献[SW29 333 ]
  • 回路分析通过迭代进行量化。我们提出了一个框架来分析和验证程序…部分正确性验证的任务,终止 分析不变生成。为此,我们表达…
  • 乌普巴尔蒂加

  • 38篇参考文献[SW12913]
  • 真正的即时算法分析. 我们提出的算法[CDFLL05…符号算法终止在探索整个状态空间之前很久。还有个人…
  • 辛西娅

  • 1篇参考文献[SW1966]
  • 行为,例如,是否终止. 全部分析是使用牡蛎系统,它…
  • SAS4A

  • 1篇参考文献[SW12523 ]
  • 燃料熔化和重新定位。SAS4A分析结束组件丢失后的六边形完整性…
  • A3PAT

  • 8篇参考文献[SW21588]
  • 在文献中已知,从而产生新的终止标准,如扩展…改进以前的形式化工作分析依赖图…