• 毫升

  • 491篇参考文献[SW01218]
  • 编译程序编写,自动化的定理证明与形式化验证. (维基百科…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 定理证明包括硬件和软件验证部分自动化各种数学活动,促进发展…
  • WHY3

  • 124篇参考文献[ SW044 38 ]
  • WHY3是演绎程序的平台验证. 它为规范提供了丰富的语言。外部定理证明器自动化的互动,放电验证条件WHY3伴随着…自动化的提取机理。WhyML也被用作中间语言。验证
  • TPS

  • 70篇参考文献[SW0933]
  • 定理证明包括硬件和软件验证部分自动化各种数学活动,促进发展…
  • 颜色

  • 37篇参考文献[SW09806]
  • 关系及其应用自动化的 验证终止证书。终止是一个重要的…也将其应用到自动化的 验证终止证书,如终止所产生的…
  • 维里克斯

  • 31篇参考文献[ SW0201]
  • VICIC)是我们的原始工具自动化的 验证时间自动机和协议编写…部分研究项目自动化的 验证时间依赖系统的研究所…
  • 凯玛拉

  • 37篇参考文献[SW03709]
  • 混杂系统。KeMaEa是一种杂交种验证混合系统的工具,结合演绎,真实…自动化的自然规范的交互式定理证明器验证混合系统的逻辑…混合自动机的程序表示法自动化这个验证过程中,KeYmaera实现了广义自由…
  • 臀部

  • 23篇参考文献[SW0988]
  • 基于分离逻辑自动化的 验证一个简单的命令语言系统,能够模块化验证…
  • 穿线器

  • 13篇参考文献[ SW099 38 ]
  • 程序线程器是一种工具自动化 验证安全和终止性能的多…
  • 棱镜游戏

  • 13篇参考文献[SW12934 ]
  • 支持建模的多人游戏,自动化的 验证概率系统的策略综合
  • 揭示

  • 20篇参考文献[SW0801]
  • 描述形式化功能验证系统及其在四种典型硬件测试中的应用有了这个系统,我们相信自动化这个验证对于一个有用的硬件类…
  • 捕食者

  • 16篇参考文献[SW0796]
  • 捕食者是一种工具自动化的正式验证用…操作的顺序C程序
  • 惠米尔

  • 24篇参考文献[SW09709]
  • 各种现有自动化的和交互式定理证明器。保持验证条件容易理解和理解,WhyML…自动化的提取机理。WhyML也被用作中间语言。验证
  • 可视状态

  • 9篇参考文献[SW0788]
  • 验证使用组合性和依赖性分析的大型状态/事件系统:状态/事件模型…状态/事件模型。这是可能的自动化的 验证大型工业设计与…
  • 讽刺诗

  • 38篇参考文献[SW0468]
  • 特别适合验证电子设计中的优化问题自动化. 讽刺建筑
  • F*

  • 18篇参考文献[SW27 563]
  • 针对程序的效果验证. 它汇集了自动化一个SMT支持演绎…
  • 飞天螳螂

  • 16篇参考文献[SW09467 ]
  • ScTyter工具:验证对安全协议进行伪造、分析。随着互联网的兴起…迄今为止的方法自动化的篡改或验证这些协议与状态…
  • 7篇参考文献[SW31989 ]
  • 工具自动化的 验证并发博弈中的纳什均衡。反应模块…
  • 维里克斯

  • 6篇参考文献[SW09464 ]
  • 本文提出了一种新的工具自动化的 验证时间自动机以及协议…