• 乌普巴尔

  • 611篇参考文献[SW04702]
  • 集成工具环境建模仿真与验证实时系统,共同开发…适用于可能的系统模型化作为非确定性过程的集合…
  • 高超声速

  • 316篇参考文献[SW04125]
  • 需求通过符号验证模型检查。如果验证失败,然后HyTeaT产生…
  • 努斯莫

  • 284篇参考文献[SW04131]
  • 建筑学模型检查,可以可靠地用于验证工业设计…正式验证技术,并应用于其他研究领域。NUMMv2,结合BDD模型检查。。。
  • UPPAAL2K

  • 42篇参考文献[SW01595]
  • 集成工具环境建模仿真与验证实时系统,共同开发…适用于可能的系统模型化作为非确定性过程的集合…UPPAAL2K的验证器模型自动检查器验证安全和粘合活性的性能…
  • 设计/ CPN

  • 37篇参考文献[SW01952]
  • 建模验证使用着色Petri网和设计/CPN的密码协议…
  • 麦克马斯

  • 63篇参考文献[SW09463]
  • McMAS: A模型检验器验证多智能体系统。而时态逻辑…
  • LTSA-WS

  • 13篇参考文献[SW10585 ]
  • LTSA-WS:一种工具模型基于验证Web服务组合和编排…我们描述了一个工具模型验证成分的方法…工具支架验证从设计规范和实施中创建的属性模型确认预期…提供规范、规范的合作工具建模验证并对合成过程进行验证。
  • 团结

  • 170篇参考文献[SW13461 ]
  • 模型. 该方法从模拟开始。模型规范的形式…形式上的断言,允许正式验证在过渡系统中,第二步进入可执行程序…正式指定属性模型应服从并证明它们为定理…
  • 摩卡

  • 88篇参考文献[SW12935]
  • 模型检查。摩卡是一个不断增长的交互式软件环境,用于系统规范和验证
  • 网络服务提供商

  • 12篇参考文献[SW0895]
  • “订单”是正式的工具验证MPI(消息传递接口)程序开发…在犹他大学计算。喜欢模型跳棋,如自旋,ISP验证…安全性能。然而,不像模型检查器,ISP执行代码级验证. 这意味着…没有建筑的实际程序代码验证 模型. ISP已被用于成功验证…
  • 沟槽

  • 49篇参考文献[SW09480]
  • 验证(凹槽)。凹槽是一个围绕简单图形使用的项目。建模
  • 步骤

  • 35篇参考文献[SW17948 ]
  • 系统,但结合模型用演绎方法检查允许验证广阔的…
  • 凯萨尔解

  • 14篇参考文献[SW10194]
  • 贝丝)提供了一个有用的框架建模各种验证关于有限状态并发系统的若干问题…比如等价性检查和模型检查。这些问题是可以解决的…图书馆已经在Cadp内部发展起来了。验证工具箱使用通用的开放/凯撒环境…广泛使用的等价关系模型规则交替自由模态检验
  • MCSMA-SLK

  • 14篇参考文献[SW2478]
  • MCSMA-SLK: A模型检验器验证策略逻辑规范。我们介绍了MCMAS…基于模型检验器验证在一个新奇的认知系统中,认知…
  • 棱镜游戏

  • 13篇参考文献[SW12934 ]
  • 随机多人游戏,支持建模自动化验证概率系统的策略综合…
  • YASM

  • 12篇参考文献[SW09470]
  • Yasm:一个软件模型- Checker验证驳斥。本文介绍了Yasm…再建一个?传统软件模型-跳棋建立了近似的抽象程序,他们…持有利息的财产(验证另一方面,因为模型西洋跳棋是众所周知的…
  • 乌姆

  • 8篇参考文献[SW10132]
  • 支持内存的特性模型 验证(i)它采用了简单而通用的内存抽象…捕获大量内存模型作为守卫的命令与统一的符号…
  • 塔帕尔

  • 14篇参考文献[SW0947 ]
  • 平台无关工具建模仿真与验证时间弧Petri网。塔帕尔提供…模拟器,而验证模块转换赋时弧Petri网模型进入定时网络…
  • 乌克利特

  • 24篇参考文献[SW04667]
  • 词级有界模型检查、对应检查、演绎验证和基于谓词抽象的验证
  • VUML

  • 20篇参考文献[SW0941]
  • 工具使用自旋模型执行检查器验证,但是用户确实…期间发现错误验证工具创建一个UML序列图,显示…重现错误模型