• 宜家

  • 第3条引用[sw14865]
  • 基于的静态分析框架摘要 解释. RTCA标准(DO-178C)用于开发。。。可扩展。IKOS利用摘要 解释让更大的。。。比如代码解析,模型开发,摘要领域管理,结果管理,和分析策略。。。
  • JSAI公司

  • 引用4篇文章[sw30521]
  • JavaScript。我们描述JSAI摘要 口译译员对于JavaScript。JSAI使用小说摘要域。。。
  • 固定袋

  • 引用4篇文章[sw10096]
  • 定量行李限制的定点计算器。摘要 解释技术发挥了重要作用。。。
  • 焦点

  • 参考58篇文章[sw12868]
  • 自由一阶公式。它支持某些解释理论,如等式,无意义函数,线性。。。验证,例如,在谓词中发现谓词抽象,以及计算归纳不变量。。。
  • 拉夫特

  • 引用2篇文章[sw24485]
  • 用于验证Horn子句的工具摘要 解释有限树自动机。我们介绍拉夫特。。。项目验证:(i)项目专业化,(ii)摘要 解释,和(iii)痕迹抽象精炼。。。
  • 猛击

  • 引用2篇文章[sw06144]
  • 部分观测下的过渡系统摘要 解释. 我们提出了综合算法。。。解决这些问题是确保使用摘要 解释提供过度接近的技术。。。
  • ac2lus公司

  • 引用2篇文章[sw17953]
  • ac2lus:带来SMT解决方案和摘要 解释实时微积分技术通过同步。。。SMT解决和摘要 解释以前不能用于。。。
  • 本征CFA

  • 引用3篇文章[sw14136]
  • 限制,我们减少了颤抖摘要-解释性的从线性代数合成的算法。。。操作。这一削减的核心是“摘要“教堂编码,语法树的编码。。。
  • 麻雀

  • 引用3篇文章[sw18278]
  • 来源。麻雀是由摘要 解释分析在设计上是合理的。麻雀。。。
  • 功能

  • 引用2篇文章[sw23309]
  • 终止的前提条件)通过摘要 解释. 它结合了多种摘要域。。。
  • 雅克斯塔布

  • 引用4篇文章[sw25254]
  • 杰肯刺伤摘要 解释-基于,集成的拆卸和静态分析框架设计分析。。。
  • 羞怯

  • 引用2篇文章[sw19236]
  • Linux发行版。阿巴什通过表演来工作摘要 解释一个bash脚本摘要...
  • 麦盖特

  • 引用2篇文章[sw09947]
  • 本地缓存分析的结果摘要 解释)以及广泛的芯片。。。
  • 朱莉娅

  • 引用2篇文章[sw09720]
  • 分析器基于一个指称摘要 解释通过布尔逻辑公式。。。
  • 终极大班

  • 1条引用[sw28629]
  • 终极大班:追踪抽象摘要 解释. 终极大班是一个软件模型检查器。。。变量,跟踪抽象ź[7],其中程序摘要,反例选择和抽象精化是基于。。。使用的路径程序的固定点摘要 解释. 如果固定点足够强。。。
  • 单片机

  • 1条引用[sw14482]
  • CEGAR与不同抽象-精炼方法,摘要 解释,摘要定期的模型检查和懒惰抽象...
  • 阿尔法

  • 参考6篇文章[sw13717]
  • 描述被细化到解释作为一种建筑。那么,这个描述。。。语言语义学,凸多面体演算,摘要和非标准解释程序验证,优化,架构综合。。。
  • 麻疯树

  • 1条引用[sw21586]
  • 麻雀被证明是正确的摘要 解释以及全局稀疏分析框架。。。