Concepedia

Invariant Checking

Invariant Checking is a formal verification method that belongs to the class of model checking techniques, specifically characterized by the systematic validation of logical assertions that must hold true across all reachable states of a concurrent system to ensure correctness during parallel debugging.

154

Publications

6.1K

Citations

365

Authors

170

Institutions

Publications per year

2017–2026

21

Parents

Publications

154

The Daikon system for dynamic detection of likely invariants

Michael D. Ernst, Jeff Perkins, Philip J. Guo et al. · Science of Computer Programming · 2007 · 1.1K citations

, , +14

Verification of Object-Oriented Programs with Invariants.

Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 327 citations · Full text

, , +16

Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila et al. · Logical Methods in Computer Science · 2006 · 225 citations · Full text

, , +8

A learning-to-rank based fault localization approach using likely invariants

Tien-Duy B. Le, David Lo, Claire Le Goues et al. · 2016 · 199 citations

, , +14

Automatic generation of invariants and intermediate assertions

Nikolaj Bjørner, Anca Browne, Zohar Manna · Theoretical Computer Science · 1997 · 157 citations · Full text

, , +16

1–5 of 154

Authors

365

  1. BJ
    Bart Jacobs

    Radboud University Nijmegen, Netherlands

    4 publications · 82 citations

    4

    h-index

  2. AL
    Axel Legay

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

    4 publications · 129 citations

    4

    h-index

  3. MD
    Michael D. Ernst

    University of Washington, United States

    4 publications · 1.2K citations

    4

    h-index

  4. SB
    Saddek Bensalem

    Verimag, France

    4 publications · 129 citations

    4

    h-index

  5. YA
    Yanhong A. Liu

    Stony Brook University, United States

    3 publications · 41 citations

    3

    h-index

1–5 of 365

Institutions

170

  1. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    17 publications

    583 citations

  2. Verimag

    Gières, France

    6 h-index

    18 publications

    851 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    11 publications

    521 citations

  4. ETH Zurich

    Zurich, Switzerland

    5 h-index

    6 publications

    106 citations

  5. Stanford University

    Stanford, United States

    5 h-index

    9 publications

    663 citations

  6. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    5 h-index

    11 publications

    216 citations

  7. Université Grenoble Alpes

    Saint-Martin-d'Hères, France

    4 h-index

    13 publications

    703 citations

  8. Stony Brook University

    Stony Brook, United States

    4 h-index

    10 publications

    167 citations

1–8 of 170

Venues

  1. ACM SIGPLAN Notices

    4 publications · 115 citations

    4

    h-index

  2. Theoretical Computer Science

    4 publications · 201 citations

    4

    h-index

  3. Formal Methods in System Design

    4 publications · 116 citations

    4

    h-index

  4. Software Testing Verification and Reliability

    STVR · 3 publications · 87 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 61 citations

    3

    h-index

1–5