• 伊朱利恩

  • 参考第5条[sw09903]
  • 用于计算的抽象视图莫德帮助用户理解和调试程序的执行。。。给予莫德执行跟踪和切片标准,它包括。。。
  • 距离兽人

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

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

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

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

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

  • 引用3篇文章[sw15081]
  • 用重写逻辑语言实现原型莫德一个有界模型检验器。。。临时逻辑模型检查器莫德系统。。。
  • 咖啡馆

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

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

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

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

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

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

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

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

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