Concepedia

Invariant Synthesis

Invariant Synthesis is the systematic derivation of loop invariants—logical predicates that remain true throughout the execution of a loop—as a foundational technique in program verification within automated reasoning, specifically distinguished by its focus on generating such invariants algorithmically to enable formal correctness proofs in Hoare Logic.

58

Publications

3.2K

Citations

115

Authors

71

Institutions

Publications per year

2017–2026

15

Parents

Publications

58

Modular Feedback Logic for Discrete Event Systems

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 397 citations

, , +17

Non-linear loop invariant generation using Gröbner bases

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna · 2004 · 252 citations

, , +16

Program analysis as constraint solving

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan · 2008 · 202 citations

, , +12

Learning invariants using decision trees and implication counterexamples

Pranav Garg, Daniel Neider, P. Madhusudan et al. · 2016 · 165 citations · Full text

, , +7

egg: Fast and extensible equality saturation

Proceedings of the ACM on Programming Languages · 2021 · 154 citations · Full text

, , +14

1–5 of 58

Authors

115

  1. DK
    Deepak Kapur

    University of New Mexico, United States

    4 publications · 314 citations

    4

    h-index

  2. ER
    Enric Rodríguez-Carbonell

    Universitat Politècnica de Catalunya, Spain

    4 publications · 299 citations

    4

    h-index

  3. LK
    Laura Kovács

    TU Wien, Austria

    3 publications · 81 citations

    3

    h-index

  4. ZK
    Zachary Kincaid

    University of Toronto, Canada

    3 publications · 166 citations

    3

    h-index

  5. DL
    Daniel Larraz

    University of Iowa, United States

    3 publications · 68 citations

    3

    h-index

1–5 of 115

Institutions

71

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    11 publications

    958 citations

  2. Universitat Politècnica de Catalunya

    Barcelona, Spain

    4 h-index

    10 publications

    470 citations

  3. Microsoft (United States)

    Redmond, United States

    4 h-index

    8 publications

    838 citations

  4. University of New Mexico

    Albuquerque, United States

    4 h-index

    8 publications

    431 citations

  5. University of Toronto

    Toronto, Canada

    3 h-index

    6 publications

    569 citations

  6. Stanford University

    Stanford, United States

    3 h-index

    7 publications

    1K citations

  7. Princeton University

    Princeton, United States

    3 h-index

    3 publications

    504 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    94 citations

1–8 of 71

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 5 publications · 323 citations

    5

    h-index

  2. ACM SIGPLAN Notices

    5 publications · 207 citations

    5

    h-index

  3. Journal of Symbolic Computation

    2 publications · 144 citations

    2

    h-index

  4. The Journal of Immunology

    JI · 2 publications · 121 citations

    2

    h-index

  5. 1

    h-index

1–5