• 水獭

  • 引用313篇文章[sw02904]
  • 水獭的主要应用是研究摘要代数与形式逻辑。水獭。。。
  • Netgen公司

  • 引用156篇文章[sw06679]
  • 基于摘要规则。介绍了网格自动生成算法。。。正面法。重点是摘要元素生成规则的结构。几个。。。
  • 果洛语

  • 参考170篇文章[sw02159]
  • 写在更高层次的抽象比通常可能的要多。语言出现了。。。
  • Isar

  • 在140篇文章中引用[sw04599]
  • 证明系统和适当水平的抽象用于用户级工作。伊萨尔正式。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 程序切片和用户可扩展摘要解释组件用于定制程序。。。
  • 爆炸

  • 参考文献125篇[sw02937]
  • 爆炸(伯克利懒惰)抽象软件验证工具)是一个静态的软件验证工具。。。
  • 围裙

  • 引用67篇文章[sw00045]
  • 数字图书馆:停机坪摘要用于静态分析的域。本文介绍围裙。。。程序的数值变量摘要解释。它的目标有三个:为分析实现者提供。。。随时可用的数字摘要在统一的API下,鼓励数值研究摘要... 传播知识的示范工具摘要翻译。。。
  • 算盘

  • 参考文献115篇[sw02948]
  • 代码重用与摘要数据结构和算法。。。
  • 佩帕

  • 参考文献115篇[sw10692]
  • 本身。它还包含一个接口抽象PEPA模型,以及模型检查属性。。。
  • 选择4

  • 引用80篇文章[sw15222]
  • 从一个摘要规范到它的C实现。。。执行始终严格遵循我们的高层摘要内核行为规范。这包括传统的。。。
  • 阿斯特里

  • 在111篇文章中引用[sw13704]
  • ASTREç分析仪。ASTRèE是一个摘要基于解释的静态程序分析器,旨在自动证明。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 从函数式编程中获取摘要数据类型和功能评估原则。。。
  • 八角形

  • 参考61篇文章【sw13702】
  • 八角形摘要领域库是一个自由库,用于操作特殊类型的多面体,称为。。。库的目标是静态分析摘要翻译(找一个简短的介绍。。。摘要解释我的博士学位。顾问页面)。这个图书馆背后的理论工作是。。。出版物是一篇题为八角形的文章摘要域。这个图书馆是一个作品。。。
  • GHC公司

  • 在102篇文章中引用[sw06691]
  • 鼓励程序员摘要通过组合函数。一个好的编译器必须内联。。。
  • 彗星

  • 引用71篇文章[sw03051]
  • 高级搜索程序抽象. 组合优化的局部搜索方法。。。COMET,支持建模和搜索摘要以约束编程的精神。之后。。。
  • 卡斯帕

  • 参考文献95篇[sw06559]
  • 一个简单的安全协议,摘要语言,并生成一个CSP描述相同的。。。
  • 锡林克斯

  • 引用93篇文章[sw07491]
  • 革命性的Vivado®设计套件摘要-锡林克斯,以及它的联盟生态系统。。。