Concepedia

Proof-based Verification

Proof-Based Verification is a formal method of ensuring correctness by mathematically proving that a system, model, or algorithm adheres to its specified properties or requirements, distinguished from other verification approaches by its reliance on deductive reasoning and logical proofs rather than empirical or probabilistic evidence.

27

Publications

1.2K

Citations

82

Authors

39

Institutions

Publications per year

2017–2026

3

Parents

Publications

27

Enabling security in cloud storage SLAs with CloudProof

Raluca Ada Popa, Jacob R. Lorch, Dávid Molnár et al. · 2011 · 230 citations

, , +13

Practical verified computation with streaming interactive proofs

Graham Cormode, Michael Mitzenmacher, Justin Thaler · 2012 · 193 citations · Full text

, , +12

Proof validation in real analysis: Inferring and checking warrants

Lara Alcock, Keith Weber · The Journal of Mathematical Behavior · 2005 · 108 citations

, , +11

Is proof more cost-effective than testing?

S. King, Jonathan Hammond, Roderick Chapman et al. · IEEE Transactions on Software Engineering · 2000 · 91 citations

, , +15

An Empirical Study on the Correctness of Formally Verified Distributed Systems

Pedro Fonseca, Kaiyuan Zhang, Xi Wang et al. · 2017 · 63 citations

, , +14

1–5 of 27

Authors

82

  1. SB
    Selmer Bringsjord

    Rensselaer Polytechnic Institute, United States

    2 publications · 27 citations

    2

    h-index

  2. SS
    Sriram Sankaranarayanan

    University of Colorado Boulder, United States

    2 publications · 66 citations

    2

    h-index

  3. AG
    Aarti Gupta

    Princeton University, United States

    2 publications · 66 citations

    2

    h-index

  4. WR
    William R. Harris

    Roche (United Kingdom), United Kingdom

    2 publications · 66 citations

    2

    h-index

  5. FI
    Franjo Ivančić

    Princeton University, United States

    2 publications · 66 citations

    2

    h-index

1–5 of 82

Institutions

39

  1. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    4 publications

    78 citations

  2. Princeton University

    Princeton, United States

    3 h-index

    6 publications

    230 citations

  3. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    2 publications

    66 citations

  4. University of Washington

    Seattle, United States

    2 h-index

    5 publications

    262 citations

  5. Rensselaer Polytechnic Institute

    Troy, United States

    2 h-index

    4 publications

    57 citations

  6. University of Colorado Boulder

    Boulder, United States

    2 h-index

    2 publications

    66 citations

  7. Institut Mines-Télécom

    Palaiseau, France

    2 h-index

    3 publications

    48 citations

  8. Institut Polytechnique de Paris

    Palaiseau, France

    2 h-index

    3 publications

    48 citations

1–8 of 39

Venues

  1. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 2 publications · 31 citations

    2

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 1 publications · 91 citations

    1

    h-index

  3. Ghent University Academic Bibliography (Ghent University)

    Repository · 1 publications · 17 citations

    1

    h-index

  4. The Journal of Mathematical Behavior

    JMB · 1 publications · 108 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 21 citations

    1

    h-index

1–5