• 引用2篇文章[sw29233]
  • 这使得语义成分声明和证明属于不变性跨越不同的网络节点。。。数据状态操作。一个框架成分 不变量 证明包括一个战术。。。
  • 找不同

  • 在14篇文章中引用[sw00200]
  • 查找工具实现成分基于组件系统的验证方法。。。查找器应用证明通过日益强大的计算消除潜在死锁的策略不变性...
  • AODV

  • 引用4篇文章[sw29232]
  • 机械化。这个证明依靠小说成分起吊方法不变性到网络。。。表明伊莎贝尔/霍尔最能重建证明自动确定义务的步骤。。。
  • evt公司

  • 参考7篇文章[sw09805]
  • 成功的证明比如归纳法和成分推理和有效的副作用治疗。。。古典的证明助手,或定理证明工具,要求用户干预证明进程。。。关键步骤如陈述计划不变性. 然而,该工具为自动。。。
  • 基本实数

  • 1条引用[sw21002]
  • bREAL的逻辑规范(III)以问题为导向成分演绎推理与模型检验相结合。。。这种语言(即口吃不变性以及交叉并发),证明-原理和模型检查进展。。。
  • 公理

  • 参考170篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 差距

  • 引用2850篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 岩浆

  • 引用2857篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用5880篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 恶心

  • 引用558篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 巴黎/GP

  • 引用586篇文章[sw00680]
  • GP是一个广泛应用的计算机代数系统。。。