• AdaboSt.MH

  • 425篇参考文献[SW0817]
  • 我们可以研究的模型解释作为一个广泛的,摘要研究井的延伸…
  • 班德拉

  • 133篇参考文献[SW07663]
  • 程序切片和用户可扩展性摘要 解释应用组件来定制程序…
  • 八角形

  • 61篇参考文献[SW13702]
  • 以静态分析为目标摘要 解释(找一个简短的介绍)摘要 解释出版物是一个题为八角形的文章。摘要这个图书馆是一个工作。
  • 围裙

  • 61篇参考文献[ SW000 045 ]
  • 程序的数值变量摘要 解释. 它的目标是三重:提供分析实施者与…传播知识的演示工具摘要 解释
  • 阿斯特里

  • 111篇参考文献[SW13704]
  • 天文分析仪阿斯特里是一个摘要 解释基于自动程序证明的静态程序分析器…
  • 杰斯塔

  • 32篇参考文献[SW11261 ]
  • JSTAR,它结合定理证明摘要 解释技法我们证明了有效性…
  • PAG

  • 19篇参考文献[SW0699]
  • 已知的数据流分析或删减解释可能范围从“简单”过程内位向量…挖掘基础理论摘要 解释数据流分析的实现与设计…由工具支撑。摘要 解释提供与语言的语义的关系…基于清洁理论摘要 解释并从理论上提出了有效的实现方法。
  • 匕首

  • 15篇参考文献[SW0495]
  • 自动精炼摘要 解释.摘要 解释通过计算证明程序的性质摘要不动点…三种自动细化技术摘要 解释减少错误错误…细化算法,细化摘要 解释使用联接运算符合并的摘要
  • CIAOPP

  • 40篇参考文献[SW120 89]
  • CIAOPP是摘要 解释基于CIAO多范式程序开发环境的预处理器…在编译时完全检查,等等。摘要程序推导模型…
  • 肉冻的

  • 23篇参考文献[SW04954 ]
  • 仍然是最强大的摘要 解释在无限晶格中工作。像这样的。。。在可能的情况下,由精确计算构成(摘要环的作用。这种技术…
  • 海角

  • 11篇参考文献[SW1874]
  • 软件模型检验摘要 解释为了验证,以及(d)使用HORN子句…
  • HMC

  • 6篇参考文献[SW09867 ]
  • 使用功能验证程序摘要 口译员. 我们提出Hindley Milner Cousots(HMC),一个算法…基于状态的推理摘要 解释,HMC使全自动验证程序…
  • 方阵

  • 14篇参考文献[SW13708]
  • 将其实现为摘要 解释基于.NET的静态合同检查器。我们凭经验…
  • 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 证明系统和适当的水平抽象化用于用户级工作。ISAR正式…立即“可执行”,借助于伊萨尔河/VM口译译员. 与已有的陈述定理证明系统相比…
  • 帕加伊

  • 6篇参考文献[SW13095]
  • 最新算法组合摘要 解释和决策程序(SMT求解),重点…指数枚举。它是参数化的摘要使用中的域,迭代算法…
  • 蝰蛇

  • 6篇参考文献[SW150 38 ]
  • 基于推理的推理工具摘要 解释目前正在开发中。范围广泛…他们的努力在适当的水平抽象化
  • 慈白

  • 4篇参考文献[SW26821]
  • Cibai:一个摘要 解释用于Java类的模块化分析和验证的静态分析器…基于通用静态分析器摘要 解释对于Java的模块化分析和验证…
  • 果洛

  • 166篇参考文献[SW02159]
  • 称为GOOG的逻辑程序设计语言口译译员自动维护动态的显式表示…写在一个更高的水平抽象化比通常可能的要多。语言出现了…