• 进展

  • 引用了70篇文章[sw02905]
  • 允许检查规范的语义运行时. 它讨论了一个数字。。。例如当约束必须选中的如果违反约束。。。
  • J-LO公司

  • 引用3篇文章[sw32260]
  • Java逻辑观察者。一种工具运行时-检查时态断言。J-LO,Java逻辑。。。观察者,是一个工具运行时-检查Java5应用程序中的时态断言。时间属性。。。使用适当的运行时 检查...
  • HLIO公司

  • 引用3篇文章[sw22611]
  • 数据敏感度级别仅在运行时. 在本文中,我们展示了。。。程序员推迟IFC的灵活性检查运行时(如LIO),同时也提供。。。静态担保——以及运行时 检查--他们的部分节目。。。
  • 土拨鼠

  • 参考6篇文章[sw09407]
  • 第三章讨论了土拨鼠检查在期间运行时如果消息传递接口(MPI)应用程序。。。
  • LLBMC公司

  • 引用15篇文章[sw09478]
  • LLBMC:改进的有界模型检查使用LLVM的C程序。(竞争贡献)。LLBMC。。。运行时C和C++程序中的错误。它基于有界模型检查使用。。。
  • JPAX公司

  • 引用了29篇文章[SW906号]
  • 概述Java PathExplorer运行时验证工具,简而言之。。。Java程序的执行和检查它符合一组用户。。。
  • 共同合同

  • 引用2篇文章[sw30949]
  • 条件和对象不变量。合同作为选中的外部和内部API的文档。。。用于通过运行时 检查,启用静态合同验证和文档生成。代码。。。
  • 教唆

  • 引用3篇文章[sw31985]
  • 远离的。此外,教唆犯雇佣运行时断言检查要自动识别错误。。。
  • 模型丛

  • 引用4篇文章[sw23944]
  • 如果选中的坚持运行时,被证明是暗示。。。
  • 失忆症

  • 参考11篇文章[sw12039]
  • 技术用途运行时监视以检查动态生成的查询和检查他们反对。。。
  • JBMC公司

  • 1条引用[sw25908]
  • Java程序的模型检查器。检查 运行时异常和用户定义的断言。验证。。。
  • 乔伊

  • 1条引用【sw35849】
  • 具有强大的安全属性选中的在安全审查期间。它使程序员。。。依赖于运行时 检查. 在本文中,我们描述了。。。
  • 和平号

  • 1条引用【sw35823】
  • 要添加的库及其上下文运行时 检查. 因为权限会让开发人员不知所措。。。
  • 验证

  • 引用2篇文章[sw29643]
  • 物理环境,即选中的运行时通过合成的,经过验证的监视器。我们用三个校准器。。。
  • 皮库达

  • 17条引用[sw09005]
  • 比英伟达的C-based更方便运行时. 完整性。皮库达把全部力量。。。你可以随意处置。自动误差检查. 所有CUDA错误都会自动转换为。。。
  • Pex公司

  • 参考33篇文章[sw07263]
  • 符号执行,类似于路径边界模型-检查)确定参数化单元的测试输入。。。.NET的核心组件运行时已经被广泛测试了几年。。。
  • 随机序列

  • 在0篇文章中引用[sw24325]
  • 序号:运行时 检查对于并行正确性的非确定性顺序规范。我们建议指定。。。可行地指定。我们描述一种声音运行时 检查验证执行。。。
  • 塔克斯

  • 1条引用[sw13696]
  • 检查)系统中秘密的不透明性(ii)合成运行时验证。。。监视以便检查系统的不透明度运行时和合成。。。
  • 麦克兰

  • 参考7篇文章[sw09716]
  • McErlang是一个用于检查用Erlang编程语言编写的程序。。。更换标准Erlang的部件运行时涉及分布、并发和通信的系统。。。