• 班德拉

  • 134篇参考文献[SW07663]
  • 使用Bandera工具集模型-检查并发Java软件的特性。Bandera…设计用于促进实验的部件模型-检查Java源代码。Bandera作为输入…现存几种语言中的一种模型-检查工具(包括旋转、旋转……模型财产归属选中的. 当A模型检查器产生错误踪迹,Bandera…
  • SLMC

  • 70篇参考文献[SW04604]
  • 模型 检查针对动态空间逻辑规范的并发系统。空间逻辑模型检查员…凯莱斯和Cardelli的并发性。模型-检查是使用最广泛的技术之一…
  • 羧甲基纤维素

  • 33篇参考文献[SW12422]
  • 合成工具模型-检查实时系统。在本文中,我们提出…组合工具(CMC)模型-检查实时系统。CMC是基于…
  • 灶神星

  • 24篇参考文献[SW08425]
  • 概率系统它支持统计模型-检查〔6, 7〕和期望值的统计评价。时间表达式。模型-检查灶神星使用一系列相互关联的统计假设检验…
  • 斯马特

  • 33篇参考文献[SW04097 ]
  • 技术,以及象征性的CTL模型-检查算法,是可用的。为了研究…
  • 聚乙二醇

  • 32篇参考文献[SW07263]
  • 与路径有界相似的符号执行模型-检查)为参数化单元确定测试输入。
  • 罗密欧

  • 25篇参考文献[SW0812]
  • 模型-检查可达性的性质。它执行从TPNs到时间自动机(TAS)的翻译…
  • 并发工作台

  • 12篇参考文献[SW1479]
  • 允许各种等价性、前序和模型 检查使用各种不同的过程语义…检查各种语义对等和预定义;在一个强大的模态逻辑中定义命题检查这种逻辑;发挥斯特灵风格模型-检查游戏来理解为什么一个过程…
  • Web TLR

  • 8篇参考文献[SW09905]
  • 模型-检查使用Web TLR的Web应用程序。Web TLR是一种设计的软件工具。模型-检查基于重写逻辑的Web应用程序。Web应用程序被表达…使用MODE内置LTLR模型检查员。Web TLR配备了用户…失败的导航痕迹模型 检查计算。这提供了深入的洞察…
  • 数据记录器

  • 10篇参考文献[SW28 894]
  • 线性时间演绎查询语言模型 检查. 我们提出了DATALOL Lite,一个新的演绎…线性时间查询语言模型-检查算法,即线性时间数据复杂度…
  • 莫比/ DC

  • 5篇参考文献[SW01395]
  • MOBE/DC——一种工具模型-检查参数实时规范。我们定义了一个操作子集…工具MOBE/DC,实现了模型-检查相位自动机算法该算法应用成分…模型-检查技术和通过内置程序或链接处理参数…参数:模型-检查一般来说,问题是不可判定的。因此,我们必须接受…
  • 爱马仕

  • 9篇参考文献[SW0403]
  • 协议验证工具大多是模型-检查有界数的工具,有界的…
  • K-Java

  • 9篇参考文献[SW1891]
  • Java语义应用于模型-检查多线程程序。这两个测试套件…
  • C海岸

  • 5篇参考文献[SW13319]
  • 采用HORS的验证技术模型-检查作为他们的中心。本文有助于正在进行的…追求真正的可伸缩性模型-通过提供不同的自动机理论来检查HOR。观点。我们介绍第一个实用的模型-检查作用于泛化的算法…修剪CPDS之前模型-检查并给出了反例的提取方法。
  • 雷德里布

  • 5篇参考文献[SW21175]
  • 密集时间系统技术模型-检查在学术界和工业界,我们开发了…称为ReRIB,支持完整的TCTL模型-检查具有多个公平性的稠密时间自动机…
  • 塔克

  • 7篇参考文献[SW0945 5]
  • 单同步相位多模型-检查可以使用异步阶段捕获查询…
  • 皮纳帕

  • 6篇参考文献[SW09555 ]
  • 分析工具,从“超级林”到模型-检查. 它是开源的,可从…
  • 聚焦检查

  • 3篇参考文献[SW01298]
  • 我们给出焦点检查的程序模型-检查用于验证和调试的工具…从而提高可用性和可读性。模型-检查结果