Concepedia

Verification

Verification is a systematic evaluation process in engineering and scientific disciplines that determines whether a system, component, or model correctly implements its specified requirements and design constraints, typically by providing objective evidence through analysis, inspection, and testing, without assessing its appropriateness for user needs or intended operational context.

6.6K

Publications

308.6K

Citations

11.3K

Authors

2.2K

Institutions

Publications per year

2017–2026

871

Parents

Children

Publications

6.6K

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

, , +12

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

, , +16

Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences

Kristin Shrader‐Frechette, Kenneth Belitz · Science · 1994 · 3K citations

, , +15

Verification and validation of simulation models

Robert G. Sargent · Journal of Simulation · 2012 · 1.7K citations

, , +16

1–5 of 6.6K

Authors

11.3K

  1. DL
    David L. Dill

    Stanford University, United States

    34 publications · 4.6K citations

    27

    h-index

  2. RD
    Rolf Drechsler

    University of Bremen, Germany

    72 publications · 2K citations

    26

    h-index

  3. EM
    E. M. Clarke

    Carnegie Mellon University, United States

    28 publications · 8K citations

    24

    h-index

  4. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    44 publications · 1.7K citations

    24

    h-index

  5. KH
    Klaus Havelund

    Ames Research Center, United States

    25 publications · 4.5K citations

    23

    h-index

1–5 of 11.3K

Institutions

2.2K

  1. Carnegie Mellon University

    Pittsburgh, United States

    62 h-index

    358 publications

    37.7K citations

  2. University of California, Berkeley

    Berkeley, United States

    47 h-index

    229 publications

    21.9K citations

  3. Stanford University

    Stanford, United States

    42 h-index

    195 publications

    18.2K citations

  4. Microsoft (United States)

    Redmond, United States

    42 h-index

    142 publications

    15.6K citations

  5. The University of Texas at Austin

    Austin, United States

    39 h-index

    188 publications

    12.9K citations

  6. Ames Research Center

    Mountain View, United States

    36 h-index

    136 publications

    16.2K citations

  7. IBM (United States)

    Armonk, United States

    35 h-index

    171 publications

    9.7K citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    34 h-index

    112 publications

    11.3K citations

1–8 of 2.2K

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 133 publications · 14.6K citations

    54

    h-index

  2. 41

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 167 publications · 6.3K citations

    40

    h-index

  4. ACM SIGPLAN Notices

    81 publications · 4.8K citations

    36

    h-index

  5. 32

    h-index

1–5