Concepedia

Counterexample-guided Proof

Counterexample-Guided Proof is a formal verification method that iteratively refines a candidate proof by generating counterexamples to failed proof attempts and using them to guide subsequent refinements.

12

Publications

436

Citations

30

Authors

17

Institutions

Publications per year

2017–2026

4

Parents

Publications

12

Solving QBF with counterexample guided refinement

Mikoláš Janota, William Klieber, João Marques‐Silva et al. · Artificial Intelligence · 2016 · 88 citations

, , +7

Dependent types from counterexamples

Tachio Terauchi · 2010 · 79 citations

, , +16

Integrating Testing and Interactive Theorem Proving

Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann et al. · Electronic Proceedings in Theoretical Computer Science · 2011 · 53 citations · Full text

, , +13

Verification of a cruise control system using counterexample-guided search

Olaf Stursberg, Ansgar Fehnker, Zhi Han et al. · Control Engineering Practice · 2004 · 44 citations

, , +6

Finding optimum abstractions in parametric dataflow analysis

Xin Zhang, Mayur Naik, Hongseok Yang · 2013 · 34 citations

, , +15

1–5 of 12

Authors

30

  1. TT
    Tachio Terauchi

    Tohoku University, Japan

    2 publications · 93 citations

    2

    h-index

  2. MJ
    Mikoláš Janota

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    1 publications · 88 citations

    1

    h-index

  3. AP
    Andreas Podelski

    University of Freiburg, Germany

    1 publications · 14 citations

    1

    h-index

  4. PC
    Peter C. Dillinger

    The University of Texas at Austin, United States

    1 publications · 53 citations

    1

    h-index

  5. AN
    Alexander Nutz

    University of Freiburg, Germany

    1 publications · 14 citations

    1

    h-index

1–5 of 30

Institutions

17

  1. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    5 publications

    308 citations

  2. Tohoku University

    Sendai, Japan

    2 h-index

    2 publications

    93 citations

  3. Stanford University

    Stanford, United States

    2 h-index

    4 publications

    92 citations

  4. University College Dublin

    Dublin, Ireland

    1 h-index

    1 publications

    88 citations

  5. Universidad del Noreste

    Tampico, Mexico

    1 h-index

    3 publications

    159 citations

  6. Northeastern University

    Boston, United States

    1 h-index

    3 publications

    159 citations

  7. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    1 h-index

    1 publications

    27 citations

  8. University of Oxford

    Oxford, United Kingdom

    1 h-index

    1 publications

    34 citations

1–8 of 17

Venues

  1. ACM SIGPLAN Notices

    1 publications · 14 citations

    1

    h-index

  2. CL Technical Reports

    Repository · 1 publications · 17 citations

    1

    h-index

  3. Control Engineering Practice

    1 publications · 44 citations

    1

    h-index

  4. The Journal of Mathematical Behavior

    JMB · 1 publications · 20 citations

    1

    h-index

  5. Formal Methods in System Design

    1 publications · 27 citations

    1

    h-index

1–5