• 奥伊斯

  • 3081篇参考文献[SW07248]
  • 病历档案在对的排序(也许你是计算机科学家……Knuth:“计算机艺术”编程“在这里你找到算法描述。条目甚至…
  • WHY3

  • 124篇参考文献[ SW044 38 ]
  • 用户可以写WhyML程序直接获得对的-通过构造OcAML程序通过…
  • 韦塞林

  • 304篇参考文献[SW0967 7]
  • 文件MGLAB.是教程多重网格程序. 它解决了一维椭圆边界值问题。平滑方法、嵌套迭代和缺陷更正. 以细胞为中心和顶点为中心的离散化…包括。文档包含在程序. 这个程序是用便携式FORTRAN编写的…
  • 公理

  • 168篇参考文献[SW000 063]
  • 强类型的,数学的对的类型层次结构。它有一个编程语言和建筑…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 可执行文件程序描述。该方法提供了一种独立验证的方法。正确性通过模拟生成说明程序使用时间解决机器干扰问题…
  • 达夫尼

  • 60篇参考文献[SW0183]
  • 用于验证功能正确性Dafny的节目编程语言被设计用来支持…
  • 帽子

  • 23篇参考文献[SW1367 9]
  • 有助于理解A对的程序作品,尤其是教学和程序维护
  • 发现

  • 80篇参考文献[SW21614]
  • A的证明程序发现给出了一个证明。正确性算法的…鉴于目的程序以及所采用的方法。一项系统的技术…
  • 菲什帕克

  • 89篇参考文献[ SW08012]
  • 球坐标系中的极点。测试程序为19个求解器提供。每个服务…你可以正确地生产鱼包可执行文件。鱼群库程序打算…
  • 四分体

  • 352篇参考文献[SW12177]
  • 程序和许多商业广告的发现功能程序不要表演。四分之一是独一无二的…保证几乎收敛对的关于大的真实结构的信息…
  • 录像机

  • 65篇参考文献[SW07220]
  • 并发C程序. VCC取一个C程序,用函数规范注释,数据不变量,循环…证明这些注释对的. 如果它成功了,VCC承诺你程序事实上遇见…
  • 费因卡尔

  • 49篇参考文献[SW07022]
  • 费曼振幅我们介绍计算机。程序FAIN Calc的Feynman代数自动计算辐射计算更正在可重整规范理论中。我们已经使用了程序计算树…
  • JFROW

  • 23篇参考文献[SW20595]
  • 用于检查JFAST的程序正确性. 因为大多数检查是静态的,所以…
  • 睾吸虫

  • 21篇参考文献[SW07258]
  • 一种新的Java自动测试框架程序. TESTRA自动生成所有非同构测试…在给定的输入大小和评估正确性标准。作为一种使能技术,TESTRA使用…语言和合金分析仪。检查A程序TestEra参与建模正确性标准程序在合金和指定抽象…
  • 惠米尔

  • 24篇参考文献[SW09709]
  • 用户可以写WhyML程序直接获得对的-通过构造OcAML程序
  • 雾化器

  • 17篇参考文献[SW08924]
  • 多线程动态原子性检查器程序. 确保正确性多线程的程序很难…语义,它大大简化了(正式的和非正式的)正确性本文提出了一种动态分析方法。原子性是多线程中的标准方法。编程
  • 安斯利布

  • 12篇参考文献[SW1574]
  • 整个的程序不会在身体上对的.编程因此,物理模块显然是…
  • TVLA

  • 31篇参考文献[ SW0988]
  • 成功用于形状分析程序操作链接的数据结构(单独和双…验证部分正确性几种排序程序
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 用这种方法。这个程序从而让学生集中精力于基本逻辑上。给他们即时反馈对的错误的动作。ETPS允许学生工作…不离开老师的问题程序. 保持完整的练习记录。
  • 简化

  • 134篇参考文献[SW04966]
  • 静态错误,即不运行程序因此可以更早发现错误…比如测试。由于成本校正减少了误差…