• 埃斯特雷尔

• 引用162篇[sw20012]
• 基于验证工具互模拟减少或安全性能检查。埃斯特雷尔。。。

• 生物PEPA

• 在102篇文章中引用[sw01361]
• 等价性。特别是同构和强互模拟因为佩帕已经被考虑和扩展。。。

• MRMC公司

• 引用68篇文章[sw04129]
• 报酬有界可达概率（属性驱动）互模拟最小化，精确的动态稳态。。。

• 马蒂斯

• 引用25篇文章[sw06311]
• 用近似法抽象线性系统的框架互模拟关系[1,2,3,4]。相反。。。基于语言包含或精确的细化互模拟关系，近似值互模拟关系不需要。。。抽象是完全相同的。近似值互模拟关系的目的是抓住最重要的。。。由近似值的精度给出互模拟. 这种精确性显著地提供了一个边界。。。

• CoCasl公司

• 在26篇文章中引用[sw13076]
• CoCasl涵盖了各种等效工艺(互模拟，虚弱互模拟观测同余和迹等价。。。

• MWB公司

• 参考33篇文章[sw04395]
• MWB版本正在检查打开互模拟等价物。我们用。。。

• SIGREF公司

• 引用15篇文章[sw00859]
• 最流行的计算方法相互刺激. 我们的方法是用BDDs符号实现的。。。非常大的过渡系统。的签名相互刺激是由一些普通的。。。其他类型的算法开发互模拟.\parWe提供了生存能力的实验证据。。。通过为许多人提供计算结果的方法相互刺激在现实世界中。实验表明。。。

• 霍普拉

• 在14篇文章中引用[sw02330]
• 过程是有能力的。它的操作语义，互模拟探讨了同余性质和表达能力。。。

• SafeDpi公司

• 引用13篇文章[sw01989]
• 行为对等可以用相互刺激基于键入的操作。特征描述。。。

• 双刺激子

• 参考7篇文章[sw02526]
• 双刺激子：用于实时等效性检查的模块化工具。等价性检验问题包括。。。

• UnQL公司

• 引用9篇文章[sw20018]
• 基于价值平等，正式定义为互模拟. 结构递归被证明是不变的。。。

• 安泰诺瓦

• 引用8篇文章[sw06360]
• 特别是通过案例研究相互刺激，以及从一个大规模的。。。

• 裁判

• 参考7篇文章[sw12439]
• 特别是通过案例研究相互刺激，以及从一个大规模的。。。

• PTSC公司

• 引用5篇文章[sw13692]
• 基于这个模型，我们定义了一个互模拟关系式，从中可以看出。。。

• 法帕斯

• 引用4篇文章[sw10957号]
• 系统——一种受互模拟算法”。另一方面，在FFaPAS中。。。

• VeriSIMPL公司

• 引用4篇文章[sw14598]
• 证明可以模拟或双模拟原MPL系统。该方法使。。。

• 游戏

• 引用2篇文章[sw01409]
• 全套等价/预定语义，包括：互模拟/模拟，弱互模拟/模拟，轨迹等价/预排序。。。

• 椰林

• 引用2篇文章[sw28719]
• 关系的选择（称为互模拟). 我们提出了一种自动证明共导定理的方法。。。对互模拟然后运用泛化技术，激发。。。

• 新霍普拉

• 引用3篇文章[sw06992]
• 它可以执行的路径。它的过渡语义，互模拟探讨了同余性质和表达能力。。。

• BFComp公司

• 引用3篇文章[sw18654]
• 在现实中的可判定性仿真对描述输入输出稳定性的函数。。。