Concepedia

Verification Conditions

Verification Conditions is a logical formula derived from program statements and annotations that belongs to the class of proof obligations, specifically serving as a sufficient condition whose validity ensures the partial or total correctness of a program statement with respect to its precondition and postcondition in Ho<o:p>...</o:p>

129

Publications

6.1K

Citations

411

Authors

159

Institutions

Publications per year

2017–2026

14

Variants

Proof Obligations

Parents

Publications

129

Refinement types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · 2014 · 243 citations

, , +11

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 228 citations · Full text

, , +17

Full functional verification of linked data structures

Karen Zee, Viktor Kunčak, Martin Rinard · 2008 · 202 citations · Full text

, , +15

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · 2009 · 200 citations

, , +9

A.: Why3: Shepherd your herd of provers

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 186 citations · Full text

, , +16

1–5 of 129

Authors

411

  1. KR
    K. Rustan M. Leino

    Microsoft (United States), United States

    7 publications · 415 citations

    7

    h-index

  2. VK
    Viktor Kunčak

    École Polytechnique Fédérale de Lausanne, Switzerland

    5 publications · 407 citations

    5

    h-index

  3. KL
    Kenneth L. McMillan

    Carnegie Mellon University, United States

    4 publications · 275 citations

    4

    h-index

  4. SS
    Sharon Shoham

    Tel Aviv University, Israel

    4 publications · 281 citations

    4

    h-index

  5. DI
    Donald I. Good

    The University of Texas at Austin, United States

    4 publications · 151 citations

    4

    h-index

1–5 of 411

Institutions

159

  1. Microsoft (United States)

    Redmond, United States

    11 h-index

    14 publications

    1.3K citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    9 h-index

    18 publications

    1.8K citations

  3. Tel Aviv University

    Tel Aviv, Israel

    5 h-index

    14 publications

    940 citations

  4. The University of Texas at Austin

    Austin, United States

    5 h-index

    6 publications

    247 citations

  5. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    5 h-index

    8 publications

    576 citations

  6. University College Dublin

    Dublin, Ireland

    4 h-index

    9 publications

    518 citations

  7. East China Normal University

    Shanghai, China

    3 h-index

    6 publications

    165 citations

  8. University of California, Los Angeles

    Los Angeles, United States

    3 h-index

    4 publications

    136 citations

1–8 of 159

Venues

  1. ACM SIGPLAN Notices

    11 publications · 414 citations

    11

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 8 publications · 187 citations

    8

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 7 publications · 524 citations

    7

    h-index

  4. 4

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 121 citations

    4

    h-index

1–5