等价性检查是一种形式化的验证方法，它包括证明两个程序或模型与某个等价关系的模相关，或者其中一个包含在另一个模或某个预序关系中。对于并发系统（通常使用标记转换系统表示），用于等价性检查的关系是互模拟及其模拟预序。在概率或随机系统（通常使用马尔可夫链表示）的情况下，用于等价性检查的关系是集总性、概率和随机等价性及其相关的预序。本文综合概述了40年来在等价性检查算法和软件工具设计方面的研究。
Connectez-vous浇注接触器le contributer
https://inria.hal.science/hal-03920338
Soumis le：马尔迪3贾维尔2023-13:02:25
Dernière修改le:jeudi 2025-16:22:03
