在等价验证中，通常选择互模拟作为等价关系。
它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。
最后证明在这种定义下，互模拟的一些基本性质。
相较弱互模拟，它保持了系统静态迁移中的中间状态，从而比弱互模拟更细；
进程互模拟等价的一致性
时间符号迁移图及其互模拟判定
Web服务组合的互模拟验证
基于符号迁移图的互模拟验证算法
时间自动机两种模型的构造互模拟研究
STGA的变种及其互模拟验证