Concepedia

Equivalence Checking

Equivalence Checking is a formal verification technique that belongs to the class of model comparison methods, distinguished by its purpose of determining whether two mathematical models or system representations exhibit identical behavior with respect to a given equivalence relation.

2K

Publications

94.2K

Citations

3.4K

Authors

1.1K

Institutions

Publications per year

2017–2026

211

Parents

Children

Publications

2K

A Theory for Record Linkage

Ivan P. Fellegi, A. B. Sunter · Journal of the American Statistical Association · 1969 · 2.4K citations

, , +11

Equivalence Tests

Daniël Lakens · Social Psychological and Personality Science · 2017 · 2K citations · Full text

, , +17

Testing equivalences for processes

Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations

, , +4

Simplify: a theorem prover for program checking

David Detlefs, Greg Nelson, James B. Saxe · Journal of the ACM · 2005 · 781 citations

, , +13

On empirically equivalent systems of the world

W. V. Quine · Erkenntnis · 1975 · 729 citations

, , +9

1–5 of 2K

Authors

3.4K

  1. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    17 publications · 1.3K citations

    14

    h-index

  2. RD
    Rolf Drechsler

    University of Bremen, Germany

    16 publications · 403 citations

    13

    h-index

  3. PJ
    Petr Jančar

    VSB - Technical University of Ostrava, Czechia

    11 publications · 457 citations

    11

    h-index

  4. RW
    Robert Wille

    Johannes Kepler University of Linz, Austria

    11 publications · 407 citations

    11

    h-index

  5. DS
    Davide Sangiorgi

    Institut national de recherche en sciences et technologies du numérique, France

    10 publications · 823 citations

    10

    h-index

1–5 of 3.4K

Institutions

1.1K

  1. Stanford University

    Stanford, United States

    25 h-index

    73 publications

    4.7K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    24 h-index

    71 publications

    2.8K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    23 h-index

    73 publications

    2.6K citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    22 h-index

    49 publications

    4.2K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    21 h-index

    56 publications

    6K citations

  6. University of California, Berkeley

    Berkeley, United States

    19 h-index

    75 publications

    5.5K citations

  7. University of Bremen

    Bremen, Germany

    18 h-index

    70 publications

    2K citations

  8. Eindhoven University of Technology

    Eindhoven, The Netherlands

    17 h-index

    35 publications

    3.8K citations

1–8 of 1.1K

Venues

  1. Theoretical Computer Science

    96 publications · 4.9K citations

    35

    h-index

  2. Information and Computation

    44 publications · 2.5K citations

    24

    h-index

  3. Journal of Computer and System Sciences

    28 publications · 1.3K citations

    21

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 48 publications · 1.1K citations

    20

    h-index

  5. Journal of the ACM

    JACM · 23 publications · 2.6K citations

    18

    h-index

1–5