• 棱镜

  • 393篇参考文献[SW01186]
  • 马尔可夫链。通过分析进行模型 检查这样的系统不符合规范编写…工具特点三模型 检查引擎:一个符号,使用BDDS(二进制决策图)和MTBDDS…
  • 努斯莫

  • 287篇参考文献[SW04131]
  • FBK-IRTS的信息技术模型 检查卡内基梅隆大学集团,机械化…开放式体系结构模型 检查可以可靠地用于工业验证。研究领域。NUMMv2,结合BDD模型 检查利用CUDD库开发的组件…科罗拉多大学与SAT模型 检查包含基于RBC的有界的组件模型
  • 高超声速

  • 320篇参考文献[SW04125]
  • 时间需求通过符号验证模型 检查. 如果验证失败,那么HyTeaT生成…
  • 班德拉

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

  • 119篇参考文献[SW07688]
  • 模型 检查Java程序使用Java PofFrfter。本文介绍了一种称为Java探路者的翻译程序。它从Java转化为PROMELA,建模旋转的语言模型检查员…普罗梅拉模型,然后可以模型 选中的使用自旋。Java程序可能包含…翻译为类似的断言在普罗米拉模型. 琴弦模型检查员会看…
  • 佩帕

  • 113篇参考文献[SW10692]
  • 提取PEPA模型为了模型 检查连续随机逻辑(CSL)中的性质。下载
  • SLMC

  • 70篇参考文献[SW04604]
  • SLMC:一种工具模型 检查针对动态空间逻辑规范的并发系统。空间…凯莱斯和Cardelli的并发性。模型-检查是使用最广泛的技术之一…检查软件系统的时间特性。然而,当分析集中于性能相关的…优于其他工具来验证系统模型化在π演算中…
  • MRMC

  • 66篇参考文献[SW04129]
  • 模型. 它支持PCTL和CSL模型 检查以及他们的奖励扩展。区别特征…马尔可夫决策过程(CTMDP)与CSL模型 检查通过离散事件仿真。本文提出…
  • 摩卡

  • 88篇参考文献[SW12935]
  • 摩卡:模块化模型 检查. 摩卡是一个不断增长的交互式软件系统环境规范。
  • 比波普

  • 74篇参考文献[ SW08928 ]
  • 变量范围,BEBOP能够模型 检查有几千行的布尔程序…
  • 茂物

  • 36篇参考文献[SW068 58]
  • 模型使用茂物可扩展的检查器模型 检查框架模型 检查已经证明…发展建议特定领域模型 检查发动机可能比一般用途更有效。模型 检查工具克服现有工具的局限性,这些工具往往是单片的…已经开发了一个可扩展和可定制的模型 检查框架称为茂物。在这张工具纸上…
  • 吹笛者

  • 28篇参考文献[SW11478]
  • 类型为模型模型 检查消息传递程序。抽象和构成是根本问题。制作模型 检查可行的软件。本文提出了新的自动化抽象技术。执行成分的证明规则模型 检查类型。在…之间开放模拟成分的抽象关系模型 检查. 我们用一种工具——PiPb实现了这些想法…
  • MCK

  • 27篇参考文献[SW09465 ]
  • 模型 检查知识MCK是模型检查员为知识的逻辑,发展…多种途径模型 检查知识的逻辑。这方面的新奇之处模型主要基于BDD模型 检查算法,但MCK现在还支持有界…模型 检查以及显式状态模型 检查
  • 沟槽

  • 50篇参考文献[SW09480]
  • 图形变换系统,例如使用模型 检查
  • WSAT

  • 36篇参考文献[SW01022]
  • 随着艺术的发展模型 检查技法Web服务是松散耦合的分布式服务。应用中的几个挑战模型 检查(1)众多竞争的Web服务标准,大多数…当前不支持基于操作的操作。模型跳棋…
  • 拍打

  • 30篇参考文献[SW13258]
  • 仿真器。最重要的是,PAT实现各种模型 检查适合不同性质的技术…公平假设、求精检查概率的模型 检查. 为了实现良好的性能,先进的优化技术…对称约简,进程计数器抽象,并行模型 检查
  • 羧甲基纤维素

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

  • 27篇参考文献[SW11483]
  • 近似概率模型 检查. 象征的模型 检查最近已扩展到验证的方法…引起一个高昂的成本模型 检查算法。在本文中,我们提出…
  • Cadence SMV

  • 27篇参考文献[SW0795]
  • 节奏是一种象征模型 检查允许您正式验证时间的工具…验证常常等同于等价性。检查模型 检查基本上更一般。它允许…建立抽象系统级的设计过程模型. 它的使用继续通过设计精细化…
  • 装甲兵陆战队

  • 26篇参考文献[ SW049 49 ]
  • ARMC:软件的逻辑选择模型 检查抽象提炼。软件模型 检查用于抽象提炼的工具ARMC模型 检查)已经应用于实际应用中。