Concepedia

Invariant Verification

Invariant Verification is a formal method within concurrent system verification that, by belonging to the class of safety property validation techniques, specifically entails the systematic demonstration that a designated logical condition remains true across all reachable states of a concurrent computation.

81

Publications

4K

Citations

206

Authors

92

Institutions

Publications per year

2017–2026

12

Parents

Publications

81

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

Automatic generation of invariants and intermediate assertions

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

, , +16

Verifying safety properties of concurrent Java programs using 3-valued logic

Eran Yahav · 2001 · 135 citations

, , +17

Two-domain DNA strand displacement

Luca Cardelli · Mathematical Structures in Computer Science · 2013 · 119 citations · Full text

, , +11

1–5 of 81

Authors

206

  1. KO
    Kazuhiro Ogata

    Japan Advanced Institute of Science and Technology, Japan

    3 publications · 62 citations

    3

    h-index

  2. SB
    Saddek Bensalem

    Verimag, France

    3 publications · 47 citations

    3

    h-index

  3. WS
    Wolfram Schulte

    Microsoft (United States), United States

    3 publications · 383 citations

    3

    h-index

  4. KF
    Kokichi Futatsugi

    Japan Advanced Institute of Science and Technology, Japan

    3 publications · 62 citations

    3

    h-index

  5. AL
    Axel Legay

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

    3 publications · 47 citations

    3

    h-index

1–5 of 206

Institutions

92

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    8 h-index

    13 publications

    410 citations

  2. The University of Texas at Austin

    Austin, United States

    7 h-index

    9 publications

    325 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    15 publications

    501 citations

  4. Microsoft (United States)

    Redmond, United States

    4 h-index

    8 publications

    1.7K citations

  5. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    4 h-index

    3 publications

    83 citations

  6. Stanford University

    Stanford, United States

    4 h-index

    8 publications

    570 citations

  7. Verimag

    Gières, France

    4 h-index

    11 publications

    345 citations

  8. Université Joseph Fourier

    Grenoble, France

    3 h-index

    8 publications

    126 citations

1–8 of 92

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 4 publications · 101 citations

    4

    h-index

  2. 2

    h-index

  3. 2

    h-index

  4. ACM SIGPLAN Notices

    2 publications · 91 citations

    2

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 50 citations

    2

    h-index

1–5