• 鼹鼠

  • 引用5篇文章[sw09239]
  • 项目和模型-检查它的输入是一个低级的Petri。。。
  • 焦点检查

  • 引用3篇文章[sw01298]
  • 我们展示FocusCheck的节目模型-检查用于验证和简单调试的工具。。。从而提高了模型-检查结果。。。
  • 它的工具

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

  • 引用3篇文章[sw24777]
  • 模型检查器jMocha(Java型号-检查算法)就是基于这个主题。而不是操纵。。。
  • AJPF公司

  • 引用2篇文章[sw28499]
  • 潜在地提高了模型-检查处理并提供访问更丰富的财产。。。AJPF程序导出模型旋转和棱镜模型-跳棋。我们也。。。总效率模型-检查...
  • 兰花

  • 引用3篇文章[sw09807]
  • 快速在线技术模型-检查. 时态公式取自时态逻辑。。。
  • 普通人

  • 引用3篇文章[sw20133]
  • 系统。它实现了基于抽象的模型-检查早期工作中提出的方法。。。
  • 类星体

  • 引用3篇文章[sw01278]
  • 模型结构技术和模型-检查技术;报告死锁或饥饿结果。。。
  • 2号MCRL

  • 1条引用[sw22064]
  • 模型-检查Erlang–EtomCRL2和McErlang的比较。模型-检查程序很重要。。。方法可以应用于模型-检查源代码级别的系统。。。直接应用模型-检查算法到编程语言;另一个抽象程序。。。最近研究了模型-检查函数式编程语言Erlang。相应地。。。
  • 谋略

  • 1条引用[sw09813]
  • 符号并行模型-检查技术。谋略结合了众所周知的概念。。。证明了他们的效率模型-检查但是把系统语义转换成高效的。。。在DD上操作以处理模型-检查. 战略的最终目标。。。模型从执行的计算中模型-检查...
  • 繁荣

  • 引用2篇文章[sw01318]
  • Boom:执行布尔程序模型 检查更进一步,我们提出繁荣,综合分析。。。本文的重点是模型-检查非递归并发程序。Boom实现了最近。。。
  • PTrie公司

  • 引用2篇文章[sw35790]
  • 从2016年版模型 检查竞赛(2016年5月)。我们实验证明。。。内存密集型应用程序,如模型-检查工具。。。
  • 可能的

  • 引用2篇文章[sw04134]
  • 兼顾定量和定性模型-检查. 它也是严格的多线程的,因此。。。
  • 高斯

  • 引用2篇文章[sw08835]
  • 问题驱动的软件进步模型-检查应用于科学计算软件开发与验证。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 与uppal2k.A验证程序的接口模型-自动安全校验仪。。。空间。从3.2版开始,它也可以检查活性属性。生成诊断痕迹。。。
  • 基本实数

  • 1条引用[sw21002]
  • 面向组合演绎推理与模型-检查. 本文介绍了语法和语义。。。交错并发),证明原则和模型-检查对于进度属性。一个说明性的例子(乘客。。。
  • 塔克斯

  • 1条引用[sw13696]
  • 检查离线(即。模型-检查)系统中秘密的不透明性。。。
  • 黑色触角

  • 1条引用[sw34625]
  • 确定性选择。我们呈现一个黑盒子检查随机系统的技术,允许两者。。。涉及模型推理、测试与概率模型-检查. 这里我们考虑可达性检查...
  • 共和党

  • 1条引用[sw12414]
  • 基于累积残差。实施模型-检查广义线性化技术模型线性的。。。
  • 尼科斑点

  • 1条引用[sw09474]
  • 检查和neco。我们介绍neco spot,一个LTL模型Petri网检验器模型... 一个C++库模型-检查算法。我们展示了奈科的建筑。。。