• LTL2BA

  • 95篇参考文献[SW10956]
  • 从线性时间生成B chi自动机逻辑(LTL)公式。该算法产生了非常弱的…使用广义Bu chi自动机作为媒介步骤。每个自动机被简化…
  • WHY3

  • 126篇参考文献[ SW044 38 ]
  • WHY3附带一个标准库符合逻辑的理论(整数和实数运算,布尔运算……机制。WhyML也被用作媒介语言用于验证C、Java…
  • 逆合成孔径雷达

  • 137篇参考文献[SW04999 ]
  • 支持广泛的对象-逻辑学. 当前的终端用户设置主要是…部分文档的前向和后向跟踪;媒介可以通过诊断命令检查状态…
  • 谷神星

  • 20篇参考文献[SW0942]
  • 逻辑. 在形式证明中消除切割对应于移除媒介声明。。。
  • 扁平咖喱

  • 3篇参考文献[SW28 856]
  • FlatCurry:一个媒介咖喱程序的表示。为了提供一个通用的接口…用另一种语言编写的程序或程序(功能)逻辑)声明性语言…有一个媒介表示功能的语言称为“扁平咖喱”逻辑程序这份文件提供…
  • 量表6.2

  • 5篇参考文献[SW18190]
  • 定制的广泛使用媒介控制文件符合逻辑的流量的分析。数据
  • 蝰蛇

  • 6篇参考文献[SW150 38 ]
  • 一阶验证技术逻辑规范已经从验证基础设施中受益匪浅…布吉和为什么。这些提供了媒介能表达多种语言特征的语言…适用于基于分离的验证技术逻辑其他许可逻辑学,因为他们…条件生成。因此,为这些工具提供支持逻辑学(可用的)通常是独立开发的…
  • 同步发电机

  • 7篇参考文献[ SW01988 ]
  • 同步规范用一阶短语表示。逻辑或用户友好的规范模式。从…AN语言无关的同步解决方案媒介综合了警戒命令语言。后端翻译者…
  • 博吉佩尔

  • 11篇参考文献[SW21521]
  • 面向程序。这个注释定义了BoGiEpl,一个媒介用于程序分析和程序验证的语言…面向对象的.NET语言,以及符合逻辑的这样的语义的编码…
  • MIZ3

  • 11篇参考文献[SW1863]
  • 证明,包括确定陈述媒介步骤。我们的方法是新的,并且有显著的不同…定理证明器,不管它的体系结构和符合逻辑的基础展现活力…
  • DQED

  • 3篇参考文献[SW05224]
  • 函数允许在媒介步骤。这些增加是允许的…存在于信任区域。逻辑提供退避到目前最好的…
  • 基岩

  • 4篇参考文献[SW28 530]
  • 编程系统:生成元编程与HOLARE的结合逻辑在可扩展程序验证程序中。我们报告…汇编语言与编译器的结合特性媒介语言从这个基础上,我们从字面上看…
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • Gap

  • 2681篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • ILTP

  • 23篇参考文献[SWO4437 ]
  • 直觉主义逻辑定理证明(ILTP)库提供…