• 1条引用[sw14071]
  • 子流程这为运行时 验证通过将流程拆分为子流程。。。
  • UMC4M公司

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

  • 1条引用[sw31711]
  • 用于的工具UMC4M运行时 验证基于建模、仿真和验证语言。。。
  • 乌鸦脚

  • 引用5篇文章[sw07706]
  • 自动的验证用于命令式程序的工具,该程序在运行时; 这些程序。。。代码,运行时代码更新和运行时代码生成。Crowfoot的断言语言,基于。。。穿过商店,而且是第一个验证基于最新发展的工具。。。
  • 共同合同

  • 引用2篇文章[sw30949]
  • 通过改进测试运行时检查,启用静态契约验证,以及文档生成。代码合约带来。。。
  • 基岩

  • 引用4篇文章[sw28530]
  • 语言及其对形式的内在支持验证. 我们的语言是针对低级的。。。操作系统和运行时系统。它基于一个十字架。。。对最强后置条件计算和验证条件生成,以便我们可以提供。。。
  • JBMC公司

  • 1条引用[sw25908]
  • 程序。它检查运行时异常和用户定义的断言。这个验证是通过展开。。。
  • 间谍

  • 参考6篇文章[sw22152]
  • 多方全局协议及其运行时验证通过自动生成的分布式端点监视器。正在建造。。。沿端点外部部署运行时,并检测非法通信行为的发生。。。插件。演示就是我们的使用案例验证在一个大型网络基础设施中的舞蹈交流。。。
  • TXP公司

  • 1条引用[sw32264]
  • 仿真中时间特性的动态监测运行时,以及提供输入。。。形式属性检查规范。用于设计验证硬件系统,硬件描述语言。。。用于监控运行时...
  • 命令式改进

  • 引用3篇文章[sw29235]
  • 条目包含比较运行时参考实现的一些例子。。。以彼得为基础的精炼验证必须的数据结构。。。
  • 定时对话

  • 1条引用[sw22153]
  • Python中的定时会话API。定时运行时监控多方对话。在[tMPST]中,我们介绍。。。将多方会话类型扩展到验证和时间相关的财产的强制执行。。。
  • 昏迷

  • 引用3篇文章[sw06745]
  • 抽象状态机的术语。运行时,实现的不良行为,以及。。。为其他目的重用规范(正式验证仿真,基于模型的测试。。。
  • 微小颗粒

  • 引用2篇文章[sw19945]
  • 这项工作是为了定义验证MiniMaple框架。微型程序的形式化说明。。。表达式,以及其他函数和谓词,例如。运行时型式试验等。我们用过。。。
  • 普通中等教育

  • 引用4篇文章[sw22622]
  • 编译器技术和任何所需的验证,包括完整的语义保存,类型保存。。。保存类型和运行时支票,这是独立的利益。。。
  • 简单

  • 1条引用[sw32234]
  • Isabelle/HOL获得一个实用的验证命令程序的环境。Siml是独立的。。。相互递归的程序、突然终止和例外,运行时错误,局部和全局变量,指针。。。
  • 迪安娜

  • 1条引用[sw36150]
  • CERTI作为模拟运行时. 状态图也被转换成网络。。。RTES模型的UPPAAL验证...
  • 微分

  • 1条引用[sw19946]
  • 这项工作是为了定义验证MiniMaple框架。微型程序的形式化说明。。。表达式,以及其他函数和谓词,例如。运行时型式试验等。我们用过。。。
  • 糖化血红蛋白

  • 引用2篇文章[sw09882]
  • Java虚拟机与通用语言运行时. 然而,堆栈检查不足以保证安全。。。检查。它还表明验证HBAC程序的问题是EXPTIME complete。。。
  • zkp公司

  • 1条引用[sw30790]
  • 证明的实施,验证,和批处理验证. 常数的实现和证明。。。允许在运行时. 更高级别的define_proof宏将展开。。。
  • 数据链路连接器

  • 1条引用[sw19394]
  • 使用CADP工具箱验证例如模型检查。LNT规范。。。处理远程进程之间的多路会合运行时基于优化的同步协议。。。