• 弗兰肯比特

  • 引用3篇文章[sw25253]
  • 组合钻头精确的工具不变量 合成用BMC反例搜索。顾名思义。。。
  • 过境

  • 参考第5条[sw28674]
  • 伴随着高层不变性以及具体的执行片段。我们的合成引擎完成EFSM。。。关于所需的模型检查器不变性. 模型检查器生成的反例。。。
  • 海康普

  • 1条引用[sw20163]
  • 同时执行合成确保满足给定的(不变量)财产。所有这些。。。
  • 苏格兰人

  • 参考11篇文章[sw20172]
  • 自动控制器软件工具合成对于基于符号模型的非线性控制系统。。。综合控制器的算法不变性和可达性规范。原子命题。。。
  • 风车

  • 参考7篇文章[sw08199]
  • 过程和不变量. 每个进程都被指定为一组操作。。。程序通过各自的符号实现合成算法[BK07]。Sycraft已成功地应用于。。。
  • 交谈

  • 1条引用[sw21935]
  • 允许对线性时间进行完整分析-不变量标准单位反馈中的多变量反馈系统。。。传感器或执行器故障,以及合成保证稳定性的控制器。。。
  • 转基因

  • 引用3篇文章[sw32991]
  • 多目标控制的MATLAB软件包合成. 本文介绍了一个MATLAB软件包。。。例程产生一个有理线性时间-不变量控制器在任何规定的公差范围内提供性能。。。
  • 照相夹

  • 引用2篇文章[sw14454]
  • Photosketcher:基于交互式草图的图像合成. Photosketcher是一个交互式系统,用于逐步合成小说。。。使用局部描述符进行翻译的方法-不变量图像部分的检索。构图是基于。。。
  • 围裙

  • 引用66篇文章[sw00045]
  • 围裙:一个数字抽象领域的图书馆。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 差距

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