Concepedia

Assertion Verification

Assertion Verification is a methodological construct in the domain of professional skepticism that systematically evaluates the credibility, accuracy, and evidential support of declarative statements to distinguish valid claims from unsupported or fraudulent assertions.

54

Publications

1.9K

Citations

129

Authors

69

Institutions

Publications per year

2017–2026

8

Parents

Publications

54

Implementation of an array bound checker

Norihisa Suzuki, Kiyoshi Ishihata · 1977 · 112 citations

, , +14

Projection-based runtime assertions for testing and debugging Quantum programs

Gushu Li, Li Zhou, Nengkun Yu et al. · Proceedings of the ACM on Programming Languages · 2020 · 112 citations · Full text

, , +17

Assertion: A critical review.

Merna D. Galassi, John P. Galassi · Psychotherapy · 1978 · 107 citations

, , +7

Assurance on XBRL instance document: A conceptual framework of assertions

Rajendra P. Srivastava, Alexander Kogan · International Journal of Accounting Information Systems · 2010 · 80 citations

, , +13

Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation

Ji Liu, Gregory T. Byrd, Huiyang Zhou · 2020 · 79 citations · Full text

, , +17

1–5 of 54

Authors

129

  1. GP
    Graziano Pravadelli

    University of Verona, Italy

    4 publications · 86 citations

    4

    h-index

  2. NB
    Nicola Bombieri

    University of Verona, Italy

    4 publications · 86 citations

    4

    h-index

  3. PH
    Patrick H Worley

    Oak Ridge National Laboratory, United States

    2 publications · 65 citations

    2

    h-index

  4. LF
    Luca Ferro

    Ghent University, Belgium

    2 publications · 50 citations

    2

    h-index

  5. RD
    Rolf Drechsler

    University of Bremen, Germany

    2 publications · 70 citations

    2

    h-index

1–5 of 129

Institutions

69

  1. University of Verona

    Verona, Italy

    4 h-index

    15 publications

    288 citations

  2. Mentor Technologies

    Tulsa, United States

    3 h-index

    5 publications

    106 citations

  3. Lawrence Livermore National Laboratory

    Livermore, United States

    2 h-index

    2 publications

    65 citations

  4. North Carolina State University

    Raleigh, United States

    2 h-index

    5 publications

    275 citations

  5. Oak Ridge National Laboratory

    Oak Ridge, United States

    2 h-index

    2 publications

    65 citations

  6. University of Kansas

    Lawrence, United States

    2 h-index

    2 publications

    102 citations

  7. Indian Institute of Technology Kharagpur

    Kharagpur, India

    2 h-index

    7 publications

    316 citations

  8. Techniques of Informatics and Microelectronics for Integrated Systems Architecture

    Grenoble, France

    2 h-index

    6 publications

    126 citations

1–8 of 69

Venues

  1. IEEE Design & Test of Computers

    2 publications · 47 citations

    2

    h-index

  2. SSRN Electronic Journal

    Repository · 2 publications · 36 citations

    2

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 129 citations

    2

    h-index

  4. Noûs

    1 publications · 41 citations

    1

    h-index

  5. 1

    h-index

1–5