结果1至20214
排序依据：

  • 进展
  • 引用了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的部件运行时涉及分布、并发和通信的系统。。。