Concepedia

Functional Correctness

Functional Correctness is a formal property of a program that belongs to the class of correctness properties in deductive verification, distinguished by its specification and proof that the program adheres precisely to its intended input-output behavior as defined by a pre- and post-condition logical contract.

373

Publications

16.7K

Citations

1.1K

Authors

356

Institutions

Publications per year

2017–2026

110

Parents

Publications

373

Evaluating Large Language Models Trained on Code

arXiv (Cornell University) · 2021 · 1.4K citations · Full text

, , +8

Correctness criteria for dynamic changes in workflow systems––a survey

Stefanie Rinderle, Manfred Reichert, Peter Dadam · Data & Knowledge Engineering · 2004 · 422 citations

, , +11

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 334 citations

, , +17

An event‐flow model of GUI‐based applications for testing

Atif M. Memon · Software Testing Verification and Reliability · 2007 · 227 citations · Full text

, , +17

Full functional verification of linked data structures

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

, , +15

1–5 of 373

Authors

1.1K

  1. VB
    Valeria Bertacco

    University of Michigan, United States

    9 publications · 308 citations

    9

    h-index

  2. GK
    Gerwin Klein

    UNSW Sydney, Australia

    6 publications · 427 citations

    6

    h-index

  3. MB
    Manuel Barbosa

    INESC TEC, Portugal

    4 publications · 202 citations

    4

    h-index

  4. MS
    Mary Shaw

    Carnegie Mellon University, United States

    4 publications · 134 citations

    4

    h-index

  5. AM
    Atif M. Memon

    University of Maryland, College Park, United States

    4 publications · 417 citations

    4

    h-index

1–5 of 1.1K

Institutions

356

  1. Carnegie Mellon University

    Pittsburgh, United States

    12 h-index

    25 publications

    1.2K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    10 h-index

    17 publications

    803 citations

  3. University of Maryland, College Park

    College Park, United States

    9 h-index

    12 publications

    956 citations

  4. ETH Zurich

    Zurich, Switzerland

    9 h-index

    19 publications

    1.1K citations

  5. University of Michigan

    Ann Arbor, United States

    9 h-index

    26 publications

    886 citations

  6. University of California, Berkeley

    Berkeley, United States

    8 h-index

    21 publications

    529 citations

  7. UNSW Sydney

    Sydney, Australia

    8 h-index

    36 publications

    3.2K citations

  8. Microsoft (United States)

    Redmond, United States

    7 h-index

    20 publications

    1.2K citations

1–8 of 356

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 18 publications · 751 citations

    16

    h-index

  2. arXiv (Cornell University)

    Repository · 12 publications · 1.9K citations

    10

    h-index

  3. ACM SIGPLAN Notices

    7 publications · 219 citations

    7

    h-index

  4. 6

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 5 publications · 591 citations

    5

    h-index

1–5