Equivalence Checking 40 Years After: A Review of Bisimulation Tools

Hubert Garavel; Frédéric Lang

doi:10.1007/978-3-031-15629-8_13

Chapiter D’ouvrage教堂 Anneée:2022年

40年后的等价性检查：互模拟工具述评

(1, 2),(2)

1
2

休伯特·加拉维

功能：奥特尔
人员ID:183117
伊达尔：休伯特·加拉维尔
ID参考号：076435350

格勒诺布尔信息实验室

构建经过验证的并发系统

弗雷德里克·朗

功能：自闭症患者
人员ID:7304
伊达尔：弗雷德里克·朗
ID参考号：140725393

构建经过验证的并发系统

个人简历

Résumé

等价性检查是一种形式化的验证方法，它包括证明两个程序或模型与某个等价关系的模相关，或者其中一个包含在另一个模或某个预序关系中。对于并发系统（通常使用标记转换系统表示），用于等价性检查的关系是互模拟及其模拟预序。在概率或随机系统（通常使用马尔可夫链表示）的情况下，用于等价性检查的关系是集总性、概率和随机等价性及其相关的预序。本文综合概述了40年来在等价性检查算法和软件工具设计方面的研究。

与葡萄园

信息逻辑[cs.LO]

菲奇尔校长

Garavel-Lang-22.pdf（480.6 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

休伯特·加拉维 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-03920338

Soumis le：马尔迪3贾维尔2023-13:02:25

Dernière修改le:jeudi 4 avril 2024-20:55:38

日期和版本

hal-03920338，版本1 (03-01-2023)

身份证明人

HAL Id： hal-03920338，版本1
内政部： 10.1007/978-3-031-15629-8_13

Citer公司

Hubert Garavel，Frédéric Lang，《40年后的等价性检查：双模拟工具综述》。从过程代数到时间自动机到模型学习的旅程，13560，瑞士施普林格自然；施普林格自然瑞士，第213-2652022页，计算机科学讲稿，⟨10.1007/978-3-031-15629-8_13⟩.⟨哈尔-03920338⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

无人值守地面传感器中国科学院印度 LIG公司 LIG_MFML_转换 CONVCS公司 INRIA2公司 LIG_SIDCH公司

87 磋商

462 交易费用