Concepedia

Correctness Checking

Correctness Checking is a formal verification method in High-Level Synthesis that distinguishes itself by ensuring the functional equivalence between an input behavioral description and its synthesized register-transfer level implementation through rigorous algorithmic analysis.

361

Publications

16.5K

Citations

833

Authors

302

Institutions

Publications per year

2017–2026

61

Parents

Publications

361

Translation validation for an optimizing compiler

George C. Necula · 2000 · 487 citations

, , +16

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

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

, , +11

Computationally Sound Proofs

Silvio Micali · SIAM Journal on Computing · 2000 · 412 citations

, , +13

The correctness problem in computer science

Mathematics and Computers in Simulation · 1983 · 355 citations

, , +11

CakeML

Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 320 citations

, , +17

1–5 of 361

Authors

833

  1. SL
    Sorin Lerner

    University of California San Diego, United States

    9 publications · 577 citations

    9

    h-index

  2. MO
    Magnus O. Myreen

    University of Cambridge, United Kingdom

    7 publications · 580 citations

    7

    h-index

  3. ZT
    Zachary Tatlock

    University of Washington, United States

    6 publications · 526 citations

    6

    h-index

  4. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    5 publications · 199 citations

    5

    h-index

  5. GK
    Gerwin Klein

    UNSW Sydney, Australia

    5 publications · 229 citations

    5

    h-index

1–5 of 833

Institutions

302

  1. Data61

    Sydney, Australia

    11 h-index

    21 publications

    1.5K citations

  2. Stanford University

    Stanford, United States

    10 h-index

    24 publications

    756 citations

  3. IBM (United States)

    Armonk, United States

    9 h-index

    23 publications

    1.8K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    9 h-index

    13 publications

    721 citations

  5. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    9 h-index

    15 publications

    1.1K citations

  6. University of California, Berkeley

    Berkeley, United States

    8 h-index

    16 publications

    2K citations

  7. Microsoft (United States)

    Redmond, United States

    8 h-index

    16 publications

    729 citations

  8. University of Washington

    Seattle, United States

    8 h-index

    33 publications

    3.6K citations

1–8 of 302

Venues

  1. ACM SIGPLAN Notices

    16 publications · 664 citations

    13

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 294 citations

    10

    h-index

  3. Computer

    7 publications · 376 citations

    7

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 7 publications · 229 citations

    7

    h-index

  5. 6

    h-index

1–5