• 快速检查

  • 引用98篇文章[sw07277]
  • 配制和测试属性属于程序.属性被描述为Haskell函数。。。测试尤其适用于功能程序因为属性可以说是罚款。。。
  • 荷兰语

  • 引用557篇文章[sw05492]
  • Oracle机制允许访问外部程序比如SAT和BDD引擎。。。实现演绎、执行和财产检查。。。
  • 斯内帕

  • 引用161篇[sw06873]
  • 歧管。然后是第二步程序因为snapa是用来确定。。。具有一定特殊性的小双曲3流形属性...
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 属性并发Java软件。Bandera工具集是程序... 应用于自定义程序财产正在检查。当模型检查器。。。论文中,我们使用了一个简单的并发Java程序为了说明主要的功能。。。
  • 特维尔

  • 参考171篇文章[sw06888号]
  • 指定、实施和证明属性演绎系统,如编程语言与逻辑。大。。。
  • ACL2

  • 引用282篇文章[sw00060]
  • ACL2既是编程你可以用来模拟计算机系统的语言。。。帮助你证明属性那些型号的。ACL2是Boyer的一部分。。。
  • 力学

  • 在177篇文章中引用[sw09100]
  • 这个程序(以及随附的手册)是一个帮助可视化属性... 尺寸和Lyapunov指数等程序提供大约30张地图和微分方程。。。
  • 精灵

  • 引用了43篇文章[sw21361]
  • 元语言。Elf是一种约束逻辑编程基于LF逻辑框架的语言。。。用于指定、实现和证明的语言属性属于编程语言与逻辑。一直以来。。。
  • 团结

  • 引用185篇[sw13461]
  • 转换系统,然后转换为可执行文件程序描述了。该方法提供了一种方法。。。过渡系统:可以指定属性从形式上说模型应该服从并证明它们。。。通过生成仿真来说明程序利用时间解决机器干涉问题。。。
  • 日本日报

  • 引用了43篇文章[sw04319]
  • 不变探测器可能报告程序不变量。不变量是财产就这样。。。价值观程序计算,然后报告属性在观察到的情况下。。。C、C++、Java和Perl中的不变量程序,以及在记录结构化数据源中。。。
  • 再见

  • 引用42篇文章[sw12089]
  • (Ciao)Prolog上的任务程序. 这些任务包括:推理属性谓词的。。。的文字程序,包括类型、模式和其他变量实例化属性,不失败,确定性。。。中术语大小的界限程序等等。某些类型的静态调试。。。
  • Refprop公司

  • 引用了37篇文章[sw24947]
  • 参考流体的缩写属性. 这个程序由国家标准化研究所开发。。。热力学和输运图属性工业上重要的液体及其混合物。。。
  • 访问

  • 参考61篇文章[sw03704]
  • visualbasicforapplications,一个面向对象的编程可以引用多种语言。。。报告公开了它们的方法和属性在VBA中编程环境和VBA代码模块。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 终止证书。终止合同很重要财产属于程序,并且对于程序...
  • VeriFast公司

  • 引用59篇文章[sw07705]
  • VeriFast公司程序验证者。本文描述了一种基于分离逻辑的规范化方法。。。安全性验证属性指针操作命令程序. 程序员可以声明归纳数据类型。。。
  • 葡萄糖酶

  • 参考文献133篇[sw01555]
  • 程序生成大量具有多种多样性的图形属性. 一些。。。
  • 常春藤

  • 引用36篇[sw10279]
  • 有用吗属性可以证明程序. 没有证据证明。。。ACL2程序在运行时由ACL2函数检查,并且属性这些检查器。。。并调用非ACL2程序寻找证据或反证。。。
  • NMHDECAY公司

  • 引用了37篇文章[sw02826]
  • NMHDECAY 2.1:更新版程序对于粒子质量,希格斯质量,耦合和衰变宽度。。。NMSSM公司。我们描述了改进后的属性NMHDECAY的程序,是为了计算。。。
  • 飞溅-2

  • 引用了45篇文章[sw09604]
  • 描述SPLASH-2程序从根本上讲属性以及架构交互。。。空间位置,以及这些属性根据问题大小和数量调整。。。将协助使用的人程序在建筑评估中修剪空间。。。
  • 拖把

  • 引用23条[sw10117]
  • MOPS:一个用于检查安全性的基础设施属性软件的。我们描述了一种正式的方法。。。确定安全规则编程练习,把它们编码为安全属性,并验证这些。。。属性被服从。因为手动验证太昂贵,我们已经构建了一个程序分析。。。程序被验证为下推自动机,表示安全性财产作为一个有限的。。。