• 可口可乐

  • 引用于1751篇文章[sw00161]
  • 正式的校样管理系统。它提供了一个正式的写数学算法的语言。。。机检校样。典型应用包括形式化编程语言的语义(例如CompCert。。。工业环境中的EAL7认证卡)形式化数学(例如形式化...
  • 伊莎贝尔

  • 引用922篇文章[sw01569]
  • 用a表示的数学公式正式的语言并提供工具来证明这些。。。逻辑微积分。主要应用程序是形式化数学证明尤其是正式的...
  • 伊莎贝尔

  • 引用了598篇文章[sw00454]
  • 用a表示的数学公式正式的语言并提供工具来证明这些。。。逻辑微积分。主要应用程序是形式化数学证明尤其是正式的...
  • 毫升

  • 在502篇文章中引用[sw01218]
  • 确保类型安全-有一个正式的证明了一个类型良好的ML程序可以。。。完全指定并使用正式的语义学。和它的模式匹配得很好。。。通常用于对其他人进行手术正式的语言,如编译器编写,自动定理。。。证明和正式的验证。(维基百科。。。
  • 旋转

  • 引用699篇文章[sw03455]
  • 在全球范围内,可以用于正式的分布式软件系统的验证。工具。。。
  • PVS公司

  • 在602篇文章中引用[sw03484]
  • 最先进的机械化正式的方法足够坚固。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 抽象代数研究正式的逻辑。水獭和它的前辈们。。。
  • 团结

  • 引用了173篇文章[sw13461]
  • 向第一组系统过渡正式的断言,允许正式的验证转换。。。过渡系统:可以指定特性正式地模型应该服从并证明它们。。。定理使用正式的规范。通过生成仿真程序说明了该方法。。。
  • 努西姆

  • 引用288篇文章[sw04131]
  • 自定义验证工具,作为正式的验证技术,并应用于其他研究。。。
  • Z

  • 引用274篇文章[sw10291]
  • 这是促进一门学科正式的说明和推理?那是另一种失望。。。
  • 归档正式证据

  • 在139篇文章中引用[sw28613]
  • 伊莎贝尔的档案正式的证据(法新社):挖掘正式的证明。档案馆。。。正式的证明是一个巨大的集合,计算机检查证明使用证明助手。。。正式的证据。。。
  • 澳大利亚

  • 引用247篇文章[sw06367]
  • 限制。具体来说,我们使用渐近分析来正式地导出数值通量的适当比例。。。
  • Isar

  • 引用138篇文章[SW049号文件]
  • 伊莎贝尔。尽管在形式化数学和计算机科学的一部分。。。可读性的半自动推理(Isar)方法正式的证明文件已经准备好了。。。用户级工作的抽象。Isar正式的证明语言的设计是为了满足。。。系统为Isar提供了一个解释程序正式的证明文件语言。Isabelle/Isar输入包括。。。
  • ETPS公司

  • 引用的第152条[sw06302]
  • 各种数学活动,促进数学的发展正式的各种学科的理论,演绎。。。ETPS:帮助学生写作的系统正式的校样(附言。。。
  • 苍蝇

  • 引用107篇文章[sw10277]
  • 沟通正式的证据:苍蝇斑点的例子。我们介绍了一个展示和交叉的平台。。。链接正式的以及非正式的证据发展。该平台支持编写自然语言的“叙述”,即。。。包括岛屿正式的文本。这个正式的文本包含超链接并提供按需状态。。。系统大大降低了理解的门槛正式的发展和促进非正式的合作。。。
  • 斯帕斯塔特

  • 在122篇文章中引用[sw04429]
  • 拟合、仿真、空间采样、模型诊断和正式的推断。数据类型包括点模式、线。。。自动模拟。还为正式的推理(如卡方检验)和模型。。。