• 鼹鼠

• 引用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++库模型-检查算法。我们展示了奈科的建筑。。。