• 凯迈拉德

  • 在0篇文章中引用[sw20142]
  • 混合的 系统. 分布式混合的 系统提出非常具有挑战性的问题验证... 分布式系统的自动定理证明问题混合的 系统. 我们设计了一个强大的战略。。。分布式计算复杂度高混合的 系统 验证,KeYmaeraD使用分布式验证后端。。。
  • 狮身人面像

  • 引用5篇文章[sw19754]
  • SPHIN,一个可重构的模型检验器混合的 系统基于模型检验器旋转。。。扩展PROMELA和验证基于预期语义的算法。。。可重构系统的建模与验证混合的 系统...
  • 粗壮的

  • 引用3篇文章[sw36937]
  • 矮胖的:自动化的验证以及随机过程的综合。StocHy是一个软件工具。。。离散时间随机性的定量分析混合的 系统(嘘)。斯托奇接受了一个高层的描述。。。抽象然后用于(ii)形式化验证或(iii)控制(政策、战略)综合。矮胖的。。。
  • 敏锐

  • 1条引用[sw36603]
  • 物理的系统需要方法和工具来支持模拟和验证属于混合的(两个都是连续的…交付给网络物理的开发者系统. 验证一个目标,敏锐的工具。。。
  • 海康普

  • 引用4篇文章[sw20163]
  • HyComp将混合的使用HyDI符号语言指定的自动机。海康普。。。无限态跃迁系统基于SMT,可以使用验证技术。。。
  • 海迪

  • 引用3篇文章[sw11912]
  • 语言,HYDI,用于建模混合的 系统具有离散的相互作用。语言的目的。。。无限状态的模型检查程序系统验证复杂嵌入系统设计。海迪。。。
  • 混合跟踪验证器

  • 引用2篇文章【sw20335】
  • 确定性混合的 系统. 在工具中实现算法,混合的跟踪验证程序。。。从形式模型得到的动力学。验证三个案例研究的结果,即一个版本。。。导航基准,一个引擎控制系统和一颗卫星系统建议这个组合正式。。。
  • 红色图书馆

  • 引用5篇文章[sw21175]
  • 正式的验证嵌入的系统. 推广密集时间技术系统模型检查。。。不动点计算,线性参数安全分析混合的 系统,最大不动点的加速技术。。。
  • EFSMT公司

  • 引用2篇文章【sw19487】
  • EFSMT通过减少一些关键的验证以及EFSMT的合成问题。典型问题。。。控制系统,用于编排的分布式优先级合成系统成分和合成混合的控制系统...
  • 萨哈工具

  • 1条引用[sw10315]
  • 有力的形式主义系统根据离散和连续的规律进化。。。尝试自动验证混合的自动机属性。一个重要的验证问题是可达性。。。
  • SL2SX公司

  • 1条引用[sw20160]
  • 缩放良好,可应用于系统高度复杂的动力学。。。验证Simulink模型的技术可以帮助克服这一局限性。基于集合的验证工具。。。例如SpaceEx用作底层形式主义混合的自动机,在语义和结构上是不同的。。。
  • 公理

  • 引用172篇文章[sw00063]
  • 代数是一个通用的计算机公理系统...
  • 男爵

  • 在336篇文章中引用[sw00066]
  • 男爵是个计算型的人系统用于求解非凸。。。
  • 可可

  • 引用649篇文章[sw00143]
  • 可可是一种系统对于交换计算。。。