• 发现者

  • 40篇参考文献[SW0719]
  • 部分地实现了它们作为一个真实象征的Maple中的计算工具名为“发现者”。在这…SAS解决方案与程序验证与发现者,然后讨论未来的工作…包括SAS求解本身、终止分析和不变量程序的生成和可达性计算…
  • 整流罩

  • 3篇参考文献[SW094]
  • 不变量世代。我们描述了一个用于命令程序的软件工具Valigor。验证有效地结合…象征的统一框架下的计算和自动推理。该系统提供了自动支持…证明验证条件和最重要的是自动推断循环不变性和绑定断言…手段象征的求和、Gr“OBNER基计算和量词消去”。我们提出一般原则…
  • 皮马格

  • 2篇参考文献[SW10090]
  • 相当有限。我们的流水线机械的工作验证产生了许多问题,不仅…也有复杂的正确性陈述,涉及不变性象征的几十种模型的仿真
  • 海迪

  • 3篇参考文献[SW11912]
  • 丰富的有限状态自动机结构不变量和流动条件来模拟连续动态…象征的无限状态系统的模型检验验证复杂的嵌入式系统设计…
  • HyCOMP

  • 1篇参考文献[SW2016]
  • 使用Hydii指定的混合自动机象征的语言HyCOMP依赖于编码…利用SMT进行分析验证技术(如BMC、K-感应……各种各样的动力学。HyCOMP可以验证不变量以及LTL属性和场景规范…
  • 可可

  • 601篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • CSDP

  • 194篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • 可爱

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。
  • C-XSC

  • 106篇参考文献[SW0181]
  • C-XSC验证科学的编程环境…
  • C-XSC 2

  • 122篇参考文献[SW0182]
  • 一个用于扩展科学计算的C++类库…
  • Gap

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

  • 126篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。