Concepedia

Total Correctness

Total Correctness is a formal property of program verification within Hoare Logic that belongs to the class of correctness assertions, distinguished by the requirement that a program both terminates and produces a correct result satisfying the postcondition for all inputs satisfying the precondition.

75

Publications

3K

Citations

106

Authors

67

Institutions

Publications per year

2017–2026

6

Parents

Publications

75

A constructive approach to the problem of program correctness

E. Dijkstra · BIT Numerical Mathematics · 1968 · 238 citations

, , +13

Floyd--hoare logic for quantum programs

Mingsheng Ying · ACM Transactions on Programming Languages and Systems · 2011 · 184 citations · Full text

, , +16

Countable nondeterminism and random assignment

Krzysztof R. Apt, Gordon Plotkin · Journal of the ACM · 1986 · 181 citations · Full text

, , +13

Assessing the quality of GitHub copilot’s code generation

Burak Yetistiren, Isik Ozsoy, Eray Tüzün · 2022 · 130 citations · Full text

, , +8

A verified compiler for an impure functional language

Adam Chlipala · 2010 · 101 citations

, , +17

1–5 of 75

Authors

106

  1. DH
    David Harel

    Weizmann Institute of Science, Israel

    4 publications · 175 citations

    4

    h-index

  2. KR
    Krzysztof R. Apt

    Centrum Wiskunde & Informatica, Netherlands

    4 publications · 302 citations

    4

    h-index

  3. VP
    Vaughan Pratt

    Stanford University, United States

    3 publications · 149 citations

    3

    h-index

  4. NS
    Norihisa Suzuki

    Palo Alto Research Center, United States

    2 publications · 43 citations

    2

    h-index

  5. MR
    Michael R. Clarkson

    Cornell University, United States

    2 publications · 109 citations

    2

    h-index

1–5 of 106

Institutions

67

  1. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    8 publications

    245 citations

  2. Cornell University

    Ithaca, United States

    4 h-index

    4 publications

    167 citations

  3. IBM (United States)

    Armonk, United States

    3 h-index

    4 publications

    144 citations

  4. University of Oxford

    Oxford, United Kingdom

    3 h-index

    3 publications

    103 citations

  5. UNSW Sydney

    Sydney, Australia

    2 h-index

    8 publications

    232 citations

  6. Chalmers University of Technology

    Gothenburg, Sweden

    2 h-index

    3 publications

    114 citations

  7. University of Southern California

    Los Angeles, United States

    2 h-index

    2 publications

    54 citations

  8. Miami University

    Oxford, United States

    2 h-index

    2 publications

    109 citations

1–8 of 67

Venues

  1. Acta Informatica

    4 publications · 180 citations

    4

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 4 publications · 209 citations

    4

    h-index

  3. 4

    h-index

  4. Theoretical Computer Science

    4 publications · 80 citations

    4

    h-index

  5. BIT Numerical Mathematics

    2 publications · 259 citations

    2

    h-index

1–5