Concepedia

Software Verification

Software Verification is a formal method within the broader category of verification techniques that establishes whether a software system correctly satisfies its specified requirements and design constraints through rigorous mathematical analysis.

897

Publications

43.4K

Citations

2K

Authors

652

Institutions

Publications per year

2017–2026

111

Parents

Publications

897

Applying 'design by contract'

Bertrand Meyer · Computer · 1992 · 2.1K citations

, , +15

Formal Methods: State of the Art and Future Directions

Jeannette M. Wing · 1996 · 1.1K citations

, , +11

FEBio: Finite Elements for Biomechanics

Steve A. Maas, Benjamin J. Ellis, Gerard A. Ateshian et al. · Journal of Biomechanical Engineering · 2012 · 1.1K citations · Full text

, , +15

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

, , +15

A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing

Christopher J. Roy, William L. Oberkampf · Computer Methods in Applied Mechanics and Engineering · 2011 · 769 citations

, , +14

1–5 of 897

Authors

2K

  1. DB
    Dirk Beyer

    University of Passau, Germany

    15 publications · 1K citations

    13

    h-index

  2. MB
    Matthew B. Dwyer

    University of Nebraska–Lincoln, United States

    12 publications · 2K citations

    12

    h-index

  3. KR
    K. Rustan M. Leino

    Microsoft (United States), United States

    11 publications · 971 citations

    11

    h-index

  4. CS
    Corina S. Păsăreanu

    Ames Research Center, United States

    10 publications · 1.7K citations

    10

    h-index

  5. JH
    John Hatcliff

    Kansas State University, United States

    9 publications · 1.8K citations

    9

    h-index

1–5 of 2K

Institutions

652

  1. Carnegie Mellon University

    Pittsburgh, United States

    18 h-index

    61 publications

    5.3K citations

  2. Microsoft (United States)

    Redmond, United States

    15 h-index

    41 publications

    5.1K citations

  3. Ames Research Center

    Mountain View, United States

    15 h-index

    40 publications

    1.5K citations

  4. University of Oxford

    Oxford, United Kingdom

    14 h-index

    21 publications

    2.1K citations

  5. University of York

    York, United Kingdom

    14 h-index

    23 publications

    1.2K citations

  6. The University of Texas at Austin

    Austin, United States

    12 h-index

    31 publications

    1.1K citations

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

    Le Chesnay-Rocquencourt, France

    12 h-index

    19 publications

    768 citations

  8. IBM (United States)

    Armonk, United States

    11 h-index

    17 publications

    572 citations

1–8 of 652

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 37 publications · 2.2K citations

    25

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 19 publications · 888 citations

    15

    h-index

  3. Communications of the ACM

    15 publications · 2.1K citations

    14

    h-index

  4. Computer

    15 publications · 2.9K citations

    13

    h-index

  5. ACM SIGPLAN Notices

    18 publications · 749 citations

    13

    h-index

1–5