• 旋转

  • 引用718篇文章[sw03455]
  • 可用于正式的 验证分布式软件系统。工具。。。
  • 伊莎贝尔

  • 引用667篇文章[sw00454]
  • 数学证明尤其是正式的 验证包括证明计算机硬件的正确性。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • 编写编译器,自动定理证明和正式的 验证. (维基百科。。。
  • 努西姆

  • 引用301篇文章[sw04131]
  • 验证工具,作为正式的 验证并应用于其他研究领域。。。
  • 团结

  • 引用185篇[sw13461]
  • 正式的断言,允许正式的 验证转换系统,第二个变成可执行程序。。。过渡系统:可以指定特性正式地模型应该服从并证明它们。。。
  • 塞尔4

  • 引用85篇文章[sw15222]
  • 第4类:正式的 验证操作系统内核。完成正式的 验证是唯一已知的。。。在执行正式的,已检查机器验证从一个抽象的seL4微核。。。采用独特的设计方法融合正式的以及操作系统技术。据我们所知。。。
  • 伊莎贝尔/采埃孚

  • 引用63篇文章[sw04973]
  • 数学证明尤其是正式的 验证包括证明计算机硬件的正确性。。。计算机语言和协议的性质。伊莎贝尔/采埃孚正式化基本集合论的大部分。。。
  • 钥匙

  • 引用63篇文章[sw09969]
  • 整合设计、实施,正式的规范,以及正式的 验证面向对象软件的无缝。。。
  • 基础知识

  • 引用了37篇文章[sw12910]
  • 逻辑综合领域系统正式的 验证同步电路中出现的二进制逻辑电路。。。序贯合成与序贯合成的协同作用验证在这两个领域都有改进。这篇论文。。。开发,并说明其在正式的 验证...
  • 私人

  • 参考文献626篇[sw03484]
  • 验证系统:也就是说,与支持工具和定理证明程序集成的规范语言。。。最先进的机械化正式的方法足够坚固。。。
  • 公司证书

  • 引用47篇文章[sw09737]
  • CompCert项目调查正式的 验证可用于关键嵌入式软件的实际编译器。这样。。。通过应用正式的方法来源程序。主要结果是。。。
  • 数学5

  • 引用了45篇文章[sw09569]
  • 工具正式的 验证(和其他应用程序)。MathSAT5是这个工具的最新版本。。。
  • 台阶

  • 引用36篇[sw17948]
  • 支持计算机辅助组正式的 验证反应、实时和混合系统。。。
  • Cadence SMV公司

  • 27条引用[sw07795]
  • 可能的输入序列。同时正式的 验证通常等同于等价性检验,模型检验。。。
  • ETPS公司

  • 引用158篇文章[sw06302]
  • 软件验证,部分自动化了各种数学活动,促进了数学的发展正式的理论。。。
  • 视觉

  • 17条引用[sw40003]
  • 是一个用于正式的 验证有限状态系统的综合与模拟。。。人们对正式的 验证比如语言包容和时态逻辑。。。
  • FoCs公司

  • 引用了20篇文章[sw01591]
  • FoCs—自动生成模拟检查程序正式的规范。在可预见的未来,工业硬件。。。设计中的仿真与模型检验验证过程。到目前为止,这些技术应用于。。。模拟和正式的 验证...