Concepedia

Hardware Model Checking

Hardware Model Checking is a formal verification technique that systematically explores the state space of a hardware design to verify whether its behavior conforms to a given temporal logic specification, distinguishing it from other verification methods by its exhaustive, automated, and mathematical approach to detecting design errors.

371

Publications

16.2K

Citations

849

Authors

287

Institutions

Publications per year

2017–2026

40

Parents

Publications

371

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

, , +14

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

, , +13

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

, , +16

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Science of Computer Programming · 2008 · 466 citations

, , +11

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · 1992 · 353 citations · Full text

, , +14

1–5 of 371

Authors

849

  1. RD
    Rolf Drechsler

    University of Bremen, Germany

    8 publications · 219 citations

    8

    h-index

  2. RE
    Randal E. Bryant

    Carnegie Mellon University, United States

    8 publications · 561 citations

    8

    h-index

  3. EM
    E. M. Clarke

    Carnegie Mellon University, United States

    7 publications · 938 citations

    7

    h-index

  4. DK
    Daniel Kroening

    University of Oxford, United Kingdom

    7 publications · 245 citations

    7

    h-index

  5. MN
    Miroslav N. Velev

    Carnegie Mellon University, United States

    7 publications · 362 citations

    7

    h-index

1–5 of 849

Institutions

287

  1. Carnegie Mellon University

    Pittsburgh, United States

    20 h-index

    56 publications

    7.3K citations

  2. Stanford University

    Stanford, United States

    15 h-index

    59 publications

    1.8K citations

  3. Intel (United States)

    Santa Clara, United States

    15 h-index

    38 publications

    1.4K citations

  4. IBM (United States)

    Armonk, United States

    12 h-index

    32 publications

    2.6K citations

  5. University of British Columbia

    Vancouver, Canada

    11 h-index

    24 publications

    1.4K citations

  6. The University of Texas at Austin

    Austin, United States

    11 h-index

    20 publications

    697 citations

  7. University of California, Berkeley

    Berkeley, United States

    10 h-index

    27 publications

    782 citations

  8. Princeton University

    Princeton, United States

    9 h-index

    25 publications

    1.3K citations

1–8 of 287

Venues

  1. 9

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 8 publications · 360 citations

    8

    h-index

  3. IEEE Design & Test of Computers

    7 publications · 428 citations

    7

    h-index

  4. Design Automation Conference

    Conference · 5 publications · 86 citations

    5

    h-index

  5. Formal Methods in System Design

    4 publications · 90 citations

    4

    h-index

1–5