• 瓦尔格林德

  • 55篇参考文献[SW0420]
  • 建筑动态仪表框架分析工具有ValGRAND工具,可以自动检测…高速缓存和分支预测分析器剖析器。它还包括三个实验工具…
  • 雷萨纳

  • 1篇参考文献[SW13796]
  • 资源类型分析循环约束分析-空间使用分析堆栈分析利用数个第三方工具。循环和界限…必须使用密钥进行验证。-空间使用分析需要科斯塔。堆栈空间分析要求。。。
  • 科斯塔

  • 23篇参考文献[SW0162]
  • 执行自动程序的研究原型分析并且能够推断出成本…在内存上分配的内存量字节码执行的数量,数字…程序执行。执行成本时分析科斯塔产生了一个成本方程系统,它…
  • 杰西

  • 4篇参考文献[SW30521]
  • JSAI允许分析控制流敏感度(即上下文、路径、以及-敏感性…
  • 卡帕林

  • 2篇参考文献[SW25255]
  • 形状抽象域分析操作程序的. 特别是,CPAlien扩展SMG…
  • 雷神

  • 5篇参考文献[SW150 79]
  • 这是能够自动推理的-操纵程序。有几个这样的系统…它不仅提供形状分析而且通过新的组合算法推理…
  • 维利斯麦克

  • 5篇参考文献[ SW097 88 ]
  • VeriSmall:验证小脚形状分析. 我们已经实施了一个版本的小脚形状分析仪…调用基于参数的模型定理证明器我们的实现完成了…
  • 摊销复杂性

  • 6篇参考文献[SW28 606]
  • 摊销复杂性验证。一个框架分析关于功能数据的摊销复杂性…非平凡的偏移八字树配对. 初步…
  • 快速规格

  • 6篇参考文献[SW19206]
  • 基于测试,而不是静态分析或定理证明。QuasScript面临的主要挑战…使用两个案例研究:AHaskell图书馆和定点算法…
  • 维里斯塔尔

  • 3篇参考文献[SW0933]
  • 已验证定理证明器。我们提出了Vististar,一个已验证的定理证明器…VISISMALL,一个被证实的声音小脚型程序分析对于C小调,Vististar演示了完全…当静态时分析+定理证明者说C小调程序是安全的…决策的最新算法蕴涵和使用高度调谐验证功能…
  • 转发转发

  • 7篇参考文献[SW16106]
  • 避免昂贵的矢量转发模式分配和更好地利用内存带宽…天文学、优化、有限元等领域分析和统计数据。这个文件是一个扩展的…
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • GMP

  • 250篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。
  • 勒达

  • 247篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…