Concepedia

Bounded Model Checking

Bounded Model Checking is a model checking technique that systematically explores bounded execution paths of a system by translating reachability properties into propositional logic formulas to detect property violations within a specified depth.

327

Publications

12.5K

Citations

650

Authors

273

Institutions

Publications per year

2017–2026

47

Parents

Publications

327

Symbolic model checking using SAT procedures instead of BDDs

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

, , +16

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations

, , +8

Temporal Induction by Incremental SAT Solving

Niklas Eén, Niklas Sörensson · Electronic Notes in Theoretical Computer Science · 2003 · 375 citations · Full text

, , +13

Behavioral consistency of C and verilog programs using bounded model checking

Edmund M. Clarke, Daniel Kroening, Karen Yorav · 2003 · 283 citations · Full text

, , +14

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 250 citations

, , +14

1–5 of 327

Authors

650

  1. LC
    Lucas C. Cordeiro

    Universidade Federal do Amazonas, Brazil

    22 publications · 1K citations

    17

    h-index

  2. WP
    Wojciech Penczek

    Institute of Computer Science, Poland

    14 publications · 630 citations

    13

    h-index

  3. DK
    Daniel Kroening

    University of Oxford, United Kingdom

    14 publications · 624 citations

    12

    h-index

  4. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    11 publications · 486 citations

    11

    h-index

  5. AG
    Aarti Gupta

    Princeton University, United States

    12 publications · 387 citations

    11

    h-index

1–5 of 650

Institutions

273

  1. Carnegie Mellon University

    Pittsburgh, United States

    15 h-index

    40 publications

    4.6K citations

  2. Universidade Federal do Amazonas

    Manaus, Brazil

    13 h-index

    48 publications

    1.5K citations

  3. Princeton University

    Princeton, United States

    13 h-index

    44 publications

    1.5K citations

  4. Institute of Computer Science

    Warsaw, Poland

    13 h-index

    17 publications

    753 citations

  5. University of Southampton

    Southampton, United Kingdom

    12 h-index

    28 publications

    1.5K citations

  6. University of Oxford

    Oxford, United Kingdom

    11 h-index

    22 publications

    491 citations

  7. University of Freiburg

    Freiburg im Breisgau, Germany

    10 h-index

    35 publications

    579 citations

  8. Politecnico di Torino

    Turin, Italy

    10 h-index

    29 publications

    635 citations

1–8 of 273

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 23 publications · 1.2K citations

    17

    h-index

  2. Fundamenta Informaticae

    7 publications · 152 citations

    7

    h-index

  3. 6

    h-index

  4. Design, Automation, and Test in Europe

    Conference · 6 publications · 131 citations

    6

    h-index

  5. Formal Methods in System Design

    5 publications · 220 citations

    5

    h-index

1–5