Concepedia

Symbolic Verification

Symbolic Verification is a formal method of verifying system properties by representing system states and transitions using symbolic representations, typically logical formulas, to enable efficient exploration of large or infinite state spaces.

451

Publications

24.5K

Citations

913

Authors

389

Institutions

Publications per year

2017–2026

60

Parents

Publications

451

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

, , +17

Symbolic model checking: an approach to the state explosion problem

Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 1992 · 981 citations

, , +17

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

, , +16

Code Verification by the Method of Manufactured Solutions

Patrick J. Roache · Journal of Fluids Engineering · 2001 · 741 citations

, , +13

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia et al. · International Journal on Software Tools for Technology Transfer · 2000 · 716 citations

, , +9

1–5 of 451

Authors

913

  1. RE
    Randal E. Bryant

    Carnegie Mellon University, United States

    13 publications · 987 citations

    12

    h-index

  2. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    11 publications · 4.4K citations

    11

    h-index

  3. RA
    Rajeev Alur

    University of Pennsylvania, United States

    8 publications · 2.7K citations

    8

    h-index

  4. AC
    Alessandro Cimatti

    Fondazione Bruno Kessler, Italy

    8 publications · 1.3K citations

    8

    h-index

  5. EM
    Edmund M. Clarke

    Carnegie Mellon University, United States

    7 publications · 1.2K citations

    7

    h-index

1–5 of 913

Institutions

389

  1. Carnegie Mellon University

    Pittsburgh, United States

    26 h-index

    78 publications

    6.3K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    13 h-index

    25 publications

    1.3K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    12 h-index

    22 publications

    706 citations

  4. University of California, Berkeley

    Berkeley, United States

    12 h-index

    14 publications

    1.7K citations

  5. Verimag

    Gières, France

    11 h-index

    26 publications

    14.2K citations

  6. University of Washington

    Seattle, United States

    10 h-index

    42 publications

    3.9K citations

  7. Intel (United States)

    Santa Clara, United States

    10 h-index

    17 publications

    1.3K citations

  8. University of California, Santa Barbara

    Santa Barbara, United States

    9 h-index

    22 publications

    518 citations

1–8 of 389

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 13 publications · 320 citations

    11

    h-index

  2. 11

    h-index

  3. 10

    h-index

  4. Science of Computer Programming

    8 publications · 215 citations

    8

    h-index

  5. Formal Methods in System Design

    9 publications · 515 citations

    8

    h-index

1–5