Concepedia

Verification Condition Generation

Verification Condition Generation is a deductive verification method that comprises the systematic derivation of logical formulas, whose validity entails correctness of a program with respect to a given specification.

42

Publications

2.9K

Citations

80

Authors

47

Institutions

Publications per year

2017–2026

4

Parents

Publications

42

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

, , +16

Inductive invariant generation via abductive inference

Thomas Dillig, Boyang Li, Ken McMillan · 2013 · 143 citations

, , +16

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 134 citations

, , +16

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · ACM SIGPLAN Notices · 2002 · 124 citations

, , +16

Successive approximation of abstract transition relations

Satyaki Das, David L. Dill · 2002 · 112 citations

, , +17

1–5 of 42

Authors

80

  1. KR
    K. Rustan M. Leino

    Microsoft (United States), United States

    6 publications · 1.7K citations

    6

    h-index

  2. JB
    James B. Saxe

    Carnegie Mellon University, United States

    5 publications · 1.7K citations

    5

    h-index

  3. GN
    Greg Nelson

    Stanford University, United States

    4 publications · 1.6K citations

    4

    h-index

  4. ML
    Mark Lillibridge

    Hewlett-Packard (United States), United States

    4 publications · 1.6K citations

    4

    h-index

  5. RS
    Raymie Stata

    Microsoft (United States), United States

    4 publications · 1.6K citations

    4

    h-index

1–5 of 80

Institutions

47

  1. Microsoft (United States)

    Redmond, United States

    9 h-index

    14 publications

    3.6K citations

  2. Stanford University

    Stanford, United States

    5 h-index

    6 publications

    341 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    5 publications

    132 citations

  4. University College London

    London, United Kingdom

    2 h-index

    2 publications

    186 citations

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

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    63 citations

  6. KU Leuven

    Leuven, Belgium

    2 h-index

    6 publications

    228 citations

  7. Williams (United States)

    Tulsa, United States

    2 h-index

    2 publications

    186 citations

  8. Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

    Rome, Italy

    2 h-index

    5 publications

    137 citations

1–8 of 47

Venues

  1. ACM SIGPLAN Notices

    5 publications · 247 citations

    5

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 81 citations

    3

    h-index

  3. 2

    h-index

  4. Science of Computer Programming

    2 publications · 88 citations

    2

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 2 publications · 53 citations

    2

    h-index

1–5