• JPAX公司

  • 引用了29篇文章[sw09906]
  • 概述运行时 验证工具Java PathExplorer。我们将对Java进行概述。。。探索者运行时 验证工具,简称为JPAX。JPAX可以监视执行。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • 类型良好的ML程序不会导致运行时类型错误。[1]ML提供模式匹配。。。编译程序编写,自动定理证明和形式化验证. (维基百科。。。
  • J承包商

  • 在10篇文章中引用[sw01488]
  • 除了运行时 验证他们可以做额外的运行时监视、记录。。。
  • 幼虫

  • 参考6篇文章[sw21408]
  • Java程序。使用运行时 验证,作为保证性能的轻量级方法。。。提供一个工具幼虫,用于运行时 验证Java程序的实时属性。。。
  • 克拉拉

  • 引用5篇文章[sw14035]
  • 研究人员已经开发出一些运行时 验证生成运行时监视器。。。
  • 丽思

  • 引用4篇文章[sw16439号]
  • 启用时间触发工具运行时 验证对于c程序。我们介绍了工具RiTHM。。。运行时时间触发的异构监控)。RiTHM正在检查一个C程序。。。计划和监测干预。监视器的验证决定程序是健全和完整的。。。
  • JCML公司

  • 引用2篇文章[sw06406]
  • JCML:用于运行时 验证Java卡程序的Java卡。。。验证方法。这项工作提出了一个运行时 验证基于合同设计的方法。。。实现:生成运行时 验证代码。我们还介绍了一些实验和质量。。。
  • 模型丛

  • 引用4篇文章[sw23944]
  • ModelPlex:已验证运行时验证已验证的网络物理系统模型。正式的验证和验证游戏。。。本文介绍了ModelPlex,一种确保验证模型的结果适用于CPS实现。。。保证在运行时:离线组合验证带CPS的模型运行时... 坚持运行时,可以证明,这意味着离线安全验证关于。。。
  • 拉瓦

  • 引用了20篇文章[sw09977]
  • 以前的验证Lisp的x86机器代码实现运行时. 我们的顶级。。。
  • 心理同步

  • 引用4篇文章[sw17450]
  • 网络。我们将运行时从心理学和心理学的角度来看。。。容忍分布式算法并支持自动化形式化验证. 我们已经实现了一个PSync的嵌入。。。带有运行时部分同步网络系统。我们展示了它的适用性。。。尺寸代号,运行时效率,以及验证...
  • 拖把箱

  • 1条引用[sw33222]
  • MOPBox:一种图书馆方法运行时 验证. 在这项工作中,我们建议使用MOPBox,一个图书馆。。。基于方法运行时 验证. MOPBox是一个用于定义和评估参数化。。。
  • 橄榄球

  • 1条引用[sw09868]
  • 系统。我们特别介绍运行时绘图验证框架。。。在那里我们结合了来自运行时 验证图像分析自动化测试。。。
  • 塔克斯

  • 1条引用[sw13696]
  • 系统,(ii)合成a运行时 验证为了检查不透明度。。。
  • 马尔克

  • 1条引用[sw21409]
  • 马尔克的表现很好运行时 验证竞争和实施先进的索引和冗余。。。
  • 饥民

  • 1条引用[sw21407]
  • 饥饿者项目(`Unified Static and运行时 验证面向对象软件)是为了提供。。。
  • 相互作用

  • 1条引用[sw13024]
  • 说明它作为运行时-验证平台。我们还介绍了一种气管插管系统。。。
  • 1条引用[sw14071]
  • 子流程这为运行时 验证通过将流程拆分为子流程。。。
  • UMC4M公司

  • 1条引用[sw31709]
  • 用于的工具UMC4M运行时 验证基于建模、仿真和验证语言。。。
  • 2百万

  • 1条引用[sw31711]
  • 用于的工具UMC4M运行时 验证基于代码的建模和验证语言。。。