• 班德拉

  • 在134篇文章中引用[sw07663]
  • 使用Bandera工具设置为模型-检查并发Java软件的特性。Bandera…部件设计用于促进模型-检查Java源代码。班德拉把现有的几种语言中的一种作为输入模型-检查工具(包括Spin、dSpin。。。模型对财产的存在选中的.当模型-检查器产生一个错误轨迹,班德拉。。。
  • SLMC公司

  • 引用74篇文章[sw04604]
  • 模型 检查动态空间逻辑规范下的并发系统。空间逻辑模型检查器…凯里斯和卡德利的意见一致。模型-检查是应用最广泛的技术之一。。。
  • 中央军委

  • 在34篇文章中引用[sw12422]
  • 作曲工具模型-检查实时系统。在本文中,我们提出…工具(CMC)的组成模型-检查实时系统。CMC基于。。。
  • Pex公司

  • 引用36篇[sw07263]
  • 符号执行,类似于路径边界模型-检查)确定参数化单元的测试输入。。。
  • 灶神星

  • 引用25篇文章[sw08425]
  • 概率系统。支持统计模型-检查[6,7]和期望值的统计评估…时间表达式。模型-检查灶神星使用了一系列相互关联的统计假设检验。。。
  • 聪明的_

  • 参考33篇文章[sw04097]
  • 技术,以及符号CTL模型-检查算法是可用的。为了研究。。。
  • 罗密欧

  • 在26篇文章中引用[sw00812]
  • 模型-检查可及性。它执行从TPN到时间自动机(TAs)的转换。。。
  • 并发工作台

  • 参考12篇文章[sw14749]
  • 并允许各种预订单模型 检查使用各种不同的过程语义。。。检查各种语义等价物和前序词;用强大的模态逻辑定义命题检查……这个逻辑;玩斯特林风格模型-检查游戏来理解为什么一个过程。。。
  • Web TLR

  • 引用8篇文章[sw09905]
  • 模型-检查具有Web TLR的Web应用程序。网页TLR是一个软件工具设计。。。模型-检查基于重写逻辑的Web应用程序。Web应用程序是用Maude内置的LTLR来表达的模型-检查人员。Web TLR配备了用户…导航跟踪,这是失败的基础模型 检查计算。这提供了对。。。
  • 数据日志精简版

  • 在10篇文章中引用[sw28894]
  • 线性时间演绎查询语言模型 检查。我们展示了一种新的演绎查询语言Datalog LITE模型-检查算法,即线性时间数据复杂性。。。
  • C-肖尔

  • 参考6篇文章[sw13319]
  • 使用HORS的验证技术模型-检查作为他们的核心。本文致力于正在进行的…寻求真正可扩展的模型-通过提供一个不同的,自动理论的…视角来检查HORS。我们介绍第一个实用程序模型-检查对泛化起作用的算法…在模型-检查以及一种提取反例的方法。。。
  • K-Java公司

  • 在10篇文章中引用[sw18991]
  • 爪哇。语义应用于模型-检查多线程程序。两个测试套件。。。
  • 摩比/华盛顿

  • 引用5篇文章[sw01395]
  • Moby/DC——一个用于模型-检查参数化实时规范。我们定义了一个操作子集…工具MOBY/DC,它实现了模型-检查相自动机算法。该算法应用了合成。。。模型-检查技术和处理参数通过内置过程或链接…参数模型-检查总的来说,这个问题是无法确定的。因此,我们必须接受。。。
  • 爱马仕

  • 引用9篇文章[sw00403]
  • 大多数协议验证工具都是模型-检查用于有限数量会话的工具,有界。。。
  • 红色图书馆

  • 引用5篇文章[sw21175]
  • 稠密时间系统技术模型-检查在学术界和工业界,我们开发了…REDLIB,它支持完整的TCTL模型-检查具有多重公平性的稠密时间自动机。。。
  • 塔克

  • 参考7篇文章[sw09455]
  • 单同步相位和多个模型-检查可以使用异步阶段捕获查询。。。
  • 海伦娜

  • 参考6篇文章[sw33425]
  • 模型-检查海伦娜旋转合奏。海伦娜方法允许指定动态演化的集合。。。
  • 皮纳帕

  • 参考6篇文章[sw09955]
  • 分析工具,从“superlint”到模型-检查。它是开源的,可以从。。。
  • 它的工具

  • 引用3篇文章[sw29142]
  • 象征的模型-检查使用它的工具。我们介绍了验证工具集及其工具,具有符号。。。模型-检查基于支持可达性的分层集决策图(SDD)的后端引擎。。。模型-检查以及一个用户友好的基于eclipse的前端。使用模型转换。。。