• 快速检查

  • 86篇参考文献[SW0727 7]
  • 制定和测试性能属于程序.性能被描述为Haskell函数…测试特别适用于功能性测试。程序因为性能可以说是罚款…
  • 霍尔

  • 470篇参考文献[SW054 92]
  • Oracle机制提供对外部的访问程序比如SAT和BDD引擎…实施演绎、执行和组合财产检查。。。
  • 班德拉

  • 134篇参考文献[SW07663]
  • 性能并发Java软件。班德拉工具集是一个完整的集合。程序应用于定制程序模型到财产被检查。当模型检查器…论文中,我们使用了一个简单的并发Java程序为了说明主要的功能…
  • 斯纳皮亚

  • 148篇参考文献[ SW068 73]
  • 流形。然后在第二步计算机中程序因为Snaba被用来确定哪个…具有特定特异性的小双曲3-流形性能
  • 特威尔

  • 165篇参考文献[SW0688]
  • 指定、实施和证明性能演绎系统如编程语言和逻辑学。大号
  • ACL2

  • 273篇参考文献[ SW000 060]
  • ACL2都是编程可以模拟计算机系统的语言…帮助你证明的工具性能在这些模型中。ACL2是博耶的一部分…
  • 精灵

  • 43篇参考文献[SW21361]
  • 元语言。ELF是约束逻辑编程基于LF逻辑框架的语言…用于指定、实现和证明的语言性能属于编程语言和逻辑学。它一直是…
  • 力学

  • 165篇参考文献[SW09100]
  • 程序(以及随行手册)是帮助可视化的工具。性能尺寸和李雅普诺夫指数等程序提供大约30张地图和微分方程…
  • 戴康

  • 41篇参考文献[SW04319]
  • 不变检测器很可能报告程序不变量。不变量是财产持有…价值观程序计算,然后报告性能在观察到的情况下,这是真的…C、C++、Java和Perl中的不变量程序以及在记录结构的数据源中…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 过渡系统,第二步成为可执行文件程序描述。该方法提供了一种手段…过渡系统:可以指定性能正式地说,模型应该服从和证明它们…通过模拟生成说明程序使用时间解决机器干扰问题…
  • CIAOPP

  • 40篇参考文献[SW120 89]
  • (CIAO)Prolog的任务程序. 这些任务包括:推理性能谓语的…的文字程序,包括类型、模式和其他变量实例化性能非失败,决定性…术语中的大小的界限程序等几种静态调试…
  • 访问

  • 60篇参考文献[SW03704]
  • 面向对象的Visual Basic,面向对象编程可以引用多种语言的…报告暴露了他们的方法和性能在VBA中编程环境和VBA代码模块…
  • 颜色

  • 37篇参考文献[SW09806]
  • 终止证书。终止是重要的财产属于程序并且特别需要程序
  • 反作用力

  • 29篇参考文献[SW24947 ]
  • 标准流体缩写性质. 程序由国家标准研究所开发…热力学和输运图性能工业上重要的流体及其混合物…
  • 验证程序

  • 54篇参考文献[SW07705]
  • 验证程序程序验证者。本说明描述了一种基于分离逻辑的规范方法。安全验证性能指针操作命令程序. 程序员可以声明归纳数据类型…
  • 飞溅-2

  • 45篇参考文献[SW09604]
  • 描述飞溅-2程序从根本上说性能和建筑互动…空间位置,以及如何性能规模与问题大小和数量…帮助使用的人程序在建筑评估中修剪空间…
  • nMH衰变

  • 36篇参考文献[SW0826]
  • NMHH衰变2.1:更新程序对于粒子质量、希格斯质量、耦合和衰变宽度…NMSM。我们描述了改进性能NH衰变的程序这是为了计算…
  • 常春藤

  • 30篇参考文献[SW10269]
  • 有用的性能可以证明复合材料程序. 没有证据证明……ACL2程序通过ACL2函数在运行时检查,以及性能这些检查员…猜想,并调用非ACL2程序寻找证据或对抗模型…
  • 拖把

  • 23篇参考文献[SW10117]
  • MOPS:安全检查的基础设施性能软件。我们描述了一个正式的方法…确定安全规则编程实践,编码它们作为安全性能并验证这些是否…性能服从了。因为手工验证太贵了,所以我们建立了一个程序分析程序要验证为下推自动机,表示安全性。财产作为一个有限的…