Concepedia

Formal Proof Verification

Formal Proof Verification is the systematic process of algorithmically checking whether a given sequence of logical inferences adheres to the formal rules of a specified deductive system, thereby ensuring the correctness of a purported mathematical proof within a rigorously defined logical framework.

55

Publications

1.6K

Citations

108

Authors

83

Institutions

Publications per year

2017–2026

16

Parents

Publications

55

Verification methods: Rigorous results using floating-point arithmetic

Siegfried M. Rump · Acta Numerica · 2010 · 270 citations

, , +11

Floating point division and square root algorithms and implementation in the AMD-K7/sup TM/ microprocessor

Stuart F. Oberman · 2003 · 127 citations

, , +13

A logic to reason about likelihood

Joseph Y. Halpern, Michael O. Rabin · Artificial Intelligence · 1987 · 88 citations

, , +17

Verifying reachability invariants of linked structures

Greg Nelson · 1983 · 86 citations

, , +12

An assertional correctness proof of a distributed algorithm

Leslie Lamport · Science of Computer Programming · 1982 · 65 citations

, , +14

1–5 of 55

Authors

108

  1. KB
    Krzysztof Bar

    University of Oxford, United Kingdom

    2 publications · 32 citations

    2

    h-index

  2. DL
    David L. Dill

    Stanford University, United States

    2 publications · 44 citations

    2

    h-index

  3. NS
    Norihisa Suzuki

    Palo Alto Research Center, United States

    2 publications · 65 citations

    2

    h-index

  4. SM
    Siegfried M. Rump

    Hamburg University of Technology, Germany

    2 publications · 281 citations

    2

    h-index

  5. JY
    Joseph Y. Halpern

    Cornell University, United States

    2 publications · 121 citations

    2

    h-index

1–5 of 108

Institutions

83

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    5 publications

    86 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    5 publications

    69 citations

  3. Stanford University

    Stanford, United States

    3 h-index

    5 publications

    113 citations

  4. Waseda University

    Tokyo, Japan

    2 h-index

    2 publications

    281 citations

  5. Radboud University Nijmegen

    Nijmegen, The Netherlands

    2 h-index

    6 publications

    96 citations

  6. Hebrew University of Jerusalem

    Jerusalem, Israel

    2 h-index

    2 publications

    121 citations

  7. Hamburg University of Technology

    Hamburg, Germany

    2 h-index

    2 publications

    281 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    28 citations

1–8 of 83

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 2 publications · 32 citations

    2

    h-index

  2. Logical Methods in Computer Science

    LMCS · 2 publications · 30 citations

    2

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 65 citations

    2

    h-index

  4. Formal Aspects of Computing

    2 publications · 24 citations

    2

    h-index

  5. The Computer Journal

    2 publications · 28 citations

    2

    h-index

1–5