Concepedia

Counterexample Analysis

Counterexample Analysis is a formal method within assertion-based verification that identifies, examines, and interprets counterexamples generated by verification failures to diagnose design errors, distinguish faulty from correct system behaviors, and guide iterative refinement of models or assertions.

190

Publications

8.3K

Citations

336

Authors

210

Institutions

Publications per year

2017–2026

36

Parents

Publications

190

Successive refinement of information

W. Equitz, Thomas M. Cover · IEEE Transactions on Information Theory · 1991 · 544 citations

, , +17

Cryptanalyzing an Image Encryption Algorithm Based on Autoblocking and Electrocardiography

Chengqing Li, Dongdong Lin, Jinhu Lü et al. · IEEE Multimedia · 2018 · 262 citations

, , +15

Efficient generation of counterexamples and witnesses in symbolic model checking

E. M. Clarke, Orna Grümberg, Kenneth L. McMillan et al. · 1995 · 220 citations · Full text

, , +11

Venetian Sea Levels, British Bread Prices, and the Principle of the Common Cause

Elliott Sober · The British Journal for the Philosophy of Science · 2001 · 185 citations

, , +14

Counterexamples in analysis

Saul Kravetz · Journal of the Franklin Institute · 1965 · 147 citations

, , +11

1–5 of 190

Authors

336

  1. SL
    Stefan Leue

    University of Konstanz, Germany

    4 publications · 99 citations

    4

    h-index

  2. OG
    Orna Grümberg

    Technion – Israel Institute of Technology, Israel

    3 publications · 386 citations

    3

    h-index

  3. SS
    Sharon Shoham

    Tel Aviv University, Israel

    3 publications · 207 citations

    3

    h-index

  4. HL
    Hans Lindblad

    University of California San Diego, United States

    2 publications · 155 citations

    2

    h-index

  5. MR
    Michael Rotkowitz

    University of Maryland, College Park, United States

    2 publications · 72 citations

    2

    h-index

1–5 of 336

Institutions

210

  1. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    9 publications

    857 citations

  2. University of California, Berkeley

    Berkeley, United States

    4 h-index

    6 publications

    317 citations

  3. University of Konstanz

    Konstanz, Germany

    4 h-index

    7 publications

    181 citations

  4. University of Maryland, College Park

    College Park, United States

    4 h-index

    8 publications

    201 citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    7 publications

    357 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    8 publications

    134 citations

  7. The University of Western Australia

    Perth, Australia

    3 h-index

    4 publications

    180 citations

  8. University of Minnesota

    Minneapolis, United States

    3 h-index

    4 publications

    139 citations

1–8 of 210

Venues

  1. Proceedings of the American Mathematical Society

    PROC · 7 publications · 232 citations

    7

    h-index

  2. arXiv (Cornell University)

    Repository · 4 publications · 84 citations

    4

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 3 publications · 158 citations

    3

    h-index

  4. Philosophy of Science

    3 publications · 81 citations

    3

    h-index

  5. IEEE Transactions on Automatic Control

    3 publications · 260 citations

    3

    h-index

1–5