• 乌帕阿尔

  • 引用634篇文章[sw04702]
  • 乌帕阿尔是一个用于实时系统建模、仿真和验证的集成工具环境。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 乌帕阿尔是一个用于实时系统建模、仿真和验证的集成工具环境。。。关键的。自1995年首次发行以来,乌帕阿尔已经应用了很多。。。各具特色。的当前版本乌帕阿尔,名为Uppaal2k,于9月首次发布。。。
  • 中央军委

  • 在34篇文章中引用[sw12422]
  • 现有的实时验证工具(HYTECH,KRONOS,乌帕阿尔). 在描述了方法之后。。。
  • 乌帕阿尔科拉

  • 引用9篇文章[sw25660]
  • 乌帕阿尔科拉是乌帕阿尔对于成本最优可达性分析。。。乌帕阿尔作为VHS和AMETIST项目的一部分。鉴于乌帕阿尔使用时间自动机。。。建模语言,乌帕阿尔CORA使用线性定价的时间自动机(LPTA)。给定LPTA模型,乌帕阿尔... 累积成本最低的路径。乌帕阿尔CORA提供了许多扩展。。。
  • 塔帕尔

  • 17条引用[sw00947]
  • 时间自动机网络和使用乌帕阿尔自动分析引擎。我们报告。。。
  • 格泽尔

  • 参考6篇文章[sw04151]
  • 使用乌帕阿尔系统。特别是,我们已经证明。。。简化DES算法。我们也用过乌帕阿尔对于验证资源使用情况的小型实验。。。
  • 蛋白石

  • 参考7篇文章【sw13332】
  • Opal引擎支持乌帕阿尔用格特征扩展的时间自动机语言。。。
  • 乐高积木

  • 引用3篇文章[sw21176]
  • 使用验证legOS调度程序乌帕阿尔. 本文主要讨论调度程序。。。测试调度程序,并通过乌帕阿尔调度程序的模型,其中饥饿。。。调度程序是在乌帕阿尔. 这个乌帕阿尔模型用于验证。。。
  • 卡萨尔

  • 引用5篇文章[sw10130]
  • 卡萨尔工具。我们可以无缝连接到乌帕阿尔-smc公司。在工具链中。证明我们。。。
  • 麦克陶

  • 引用2篇文章[sw07213]
  • 麦克陶:弥合谦虚与乌帕阿尔. 谦虚是一个高层次的组合造型。。。时间自动机网络乌帕阿尔. 我们报告了对适度。。。乌帕阿尔允许将适度模型的丰富子集转换为乌帕阿尔定时。。。形式主义。我们向-乌帕阿尔工具链mctau,它允许两个完全。。。
  • 它的工具

  • 引用2篇文章[sw29142]
  • 格式,其工具可以分析第三方(乌帕阿尔,旋转,神圣…)规格。。。
  • 沃杜

  • 1条引用[sw06300]
  • Vooduu:使用乌帕阿尔统一建模语言(UML)提供了序列。。。验证由模型检查器执行乌帕阿尔. 结果被重新转换成序列图。。。
  • 天麻醇

  • 1条引用[sw10129]
  • ZenoTool,一个Zeno运行检测工具乌帕阿尔. ZenoTool是一个小的,快速的命令行。。。时间自动机系统的规范乌帕阿尔因为芝诺跑的发生。芝诺。。。
  • 高规格

  • 1条引用[sw09750]
  • 合金模型,使TA模型检查-乌帕阿尔合金分析仪可用于。。。
  • 时间自动机

  • 1条引用[sw28568]
  • 一类成功的模型检查程序,例如乌帕阿尔[LPY97]、海能科技[HHWt97]或Kronos[Yov97]。这个。。。
  • 哈里发

  • 1条引用[sw28607]
  • 工具目前与平台连接(乌帕阿尔海因奇,克罗诺斯,CMC,Coq,…)和一个独特的。。。
  • 迪安娜

  • 1条引用[sw36150]
  • 翻译成NTA后我们使用乌帕阿尔对于RTES模型验证。。。
  • DTRON公司

  • 在0篇文章中引用[sw23642]
  • 网络化CPS的设计。DTRON扩展了乌帕阿尔模型检查工具和在线测试执行。。。