• 毫升

  • 在502篇文章中引用[sw01218]
  • 编写编译器,自动化定理证明与形式化验证. 维基百科。。。
  • ETPS公司

  • 在152篇文章中引用[sw06302]
  • 定理证明包括硬件和软件两部分验证,部分自动化各种数学活动,促进发展。。。
  • 原因3

  • 引用126篇文章[sw04438]
  • 为什么3是演绎程序的平台验证. 它为规范提供了丰富的语言。。。外部定理证明者自动化和互动,以释放验证条件。为什么3有。。。自动化提取机制。WhyML也被用作验证...
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 硬件和软件包括定理证明验证,部分自动化各种数学活动,促进发展。。。
  • 颜色

  • 引用了37篇文章[sw09806]
  • 关系及其在自动化 验证终止证书。终止是一个重要的。。。同时将其应用于自动化 验证由终止协议产生的终止证书。。。
  • 验证

  • 引用31篇文章[sw02011]
  • VerICS)是我们的原始工具自动化 验证时间自动机和协议。。。研究项目的一部分自动化 验证研究所里的时间依赖系统。。。
  • 凯玛拉

  • 引用了37篇文章[sw03709]
  • 混合动力系统。KeYmaera是一种混合动力验证混合系统的工具,结合演绎,真实。。。自动化一个自然规范的交互定理证明器和验证混合动力系统的逻辑。。。混合自动机的程序表示法。自动化这个验证过程中,keymera实现了一个广义的自由。。。
  • 臀部

  • 引用23条[sw09786]
  • 基于分离逻辑自动化 验证系统为简单的命令式语言,能够模块化验证。。。
  • 穿线机

  • 引用13篇文章[sw09938]
  • 程序。螺纹工具是一种自动化 验证安全性和终端性能的多。。。
  • 棱镜游戏

  • 引用13篇文章[sw12934]
  • 支持建模的多人游戏,自动化 验证以及概率系统的策略综合。。。
  • 揭示

  • 引用了20篇文章[sw00801]
  • 描述展示正式功能验证系统及其在四种有代表性的硬件测试中的应用。。。有了这个系统,我们相信自动化这个验证对于一类有用的硬件。。。
  • 捕食者

  • 引用16条[sw07396]
  • 贡献)捕食者是一种工具自动化正式的验证连续C程序的运行。。。
  • 为什么

  • 引用24篇文章[sw09709]
  • 各种现有自动化以及交互定理证明。保持验证条件容易理解,为什么。。。自动化提取机制。WhyML也被用作验证...
  • 视觉状态

  • 引用9篇文章[sw07481]
  • 验证大型状态/事件系统使用组合性和依赖性分析状态/事件模型。。。状态/事件模型。这就有可能自动化 验证大型工业设计。。。
  • HSF公司

  • 引用9篇文章[sw09937]
  • 条款。SF是一个框架自动化 验证程序的。HSF(C)是实例化。。。
  • 讽刺

  • 引用的第38条[sw04648号]
  • 特别适合验证电子设计中的优化问题自动化. 讽刺是建立。。。
  • F*

  • 引用18条[sw27563]
  • 针对程序的效果验证. 它把自动化SMT支持的演绎。。。
  • 飞天螳螂

  • 引用16条[sw09467]
  • 镰刀工具:验证,伪造和安全协议分析。随着互联网的兴起。。。到目前为止自动化伪造或验证关于国家的协议。。。
  • 参考7篇文章[sw31989]
  • 用于自动化 验证同时博弈中的纳什均衡。反应模块。。。
  • 验证

  • 参考6篇文章[sw09464]
  • 本文提出了一种新的工具自动化 验证时间自动机和协议。。。