• 你好,莫德

  • 引用4篇文章[sw09753]
  • 莫德工具。在复杂的混杂系统中,不同的元件可能会影响彼此的连续行为。。。莫德是一个重写的基于逻辑的工具,支持面向对象的建模方法。。。这种相互作用的混合系统中的物体。嗨-莫德支持模拟和模型检查。。。
  • 距离兽人

  • 引用5篇文章[sw10063]
  • 基于重写逻辑和莫德这大大缩小了这一差距。使能。。。这种技术的特点是莫德通过TCP套接字支持外部对象。。。
  • 流氓

  • 引用4篇文章[sw05380]
  • 包括一个显示与现有莫德-基于分析。然后我们集中精力。。。并在莫德. 我们以高级别讨论结束。。。流氓与莫德当应用于程序分析时。。。
  • 皮尔洛

  • 引用4篇文章[sw08421]
  • 方法可以通过考虑莫德SCEL的实现和一个具体的推理机。。。皮尔洛,实施于莫德也。另外,实际的整合能给我们带来怎样的好处。。。从现有的分析工具莫德框架。特别是,我们展示了我们的方法。。。
  • 亚德尔

  • 引用4篇文章【sw20835】
  • 实时多速率同步AADL莫德,并实时集成莫德验证为。。。
  • 咖啡馆

  • 引用3篇文章[sw19598]
  • cafeinmade:CafeOBJ翻译莫德. 在本文中,我们介绍了一位翻译卡费穆德。。。规范。解释器已在中实现莫德. 这个替代实现结合了CafeOBJ规范。。。有效且可扩展的定理证明能力莫德命令和工具。因此,它使。。。CafeOBJ证明分数和减法命令以及莫德模型检查、缩小或定理证明功能。。。
  • 阿泰

  • 引用3篇文章[sw25797]
  • 推断安全莫德程序Á驯服。在本文中,我们提出Á泰姆,一个基于断言的。。。多范式语言的专门化工具莫德. 程序专家ÁTAME作为输入。。。模拟预期的程序行为加上莫德程序R是专门的,可能。。。
  • tccp

  • 引用3篇文章[sw28619]
  • 在中实现tccp语言的结果莫德.莫德已经被证明是好的。。。行为,也允许我们重用莫德执行和分析tccp程序的功能。。。
  • BMaude公司

  • 引用2篇文章[sw10135]
  • 走向行为学莫德:行为成员关系等式逻辑。代数规范和代数规范如何集成。。。隐藏逻辑和莫德名为BMaude的规范语言支持此扩展。。。隐藏排序语义.par莫德的基本方程逻辑,隶属方程逻辑,推广和增加。。。涉及不同的机构。我们还解释了莫德的反射语义学提供了一种系统的方法。。。
  • Petri-PDL

  • 引用3篇文章[sw15081]
  • 用重写逻辑语言实现原型莫德一个有界模型检验器。。。可用的时态逻辑检查器莫德系统。。。
  • 德尔塔克斯

  • 引用4篇文章[sw14476]
  • 基于{sc的DeltaCCS模型检验器实现莫德}并提供了从不同的。。。
  • 入侵

  • 引用2篇文章[sw10124]
  • 使用莫德不变分析器工具。InvA工具支持演绎。。。自动化,自动验证多个证明义务。莫德归纳定理证明器(ITP)可用于。。。
  • 普斯茅德

  • 引用3篇文章[sw10125]
  • 已经实现了PSMaude,一个扩展莫德一个概率模拟器和一个统计。。。
  • 教唆

  • 引用3篇文章[sw31985]
  • 帮助诊断错误的动态分析器莫德程序。ABETS使用切片自动创建。。。
  • CBabel公司

  • 引用2篇文章[sw07520]
  • 验证中的CBabel描述莫德重写逻辑的实现。在这个。。。
  • 曼波

  • 1条引用[sw07651]
  • 实现实际优化。模型,写在莫德保存了所有的重要成分。。。语言的简化与莫德的代码重写支持允许。。。
  • ACL2

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