Concepedia

Formal Verification

Formal Verification is a method in computer science that uses mathematically rigorous techniques to prove or disprove the correctness of a system's behavior with respect to a formal specification, distinguishing it from informal or testing-based validation approaches by its reliance on logical deduction and formal models.

2.3K

Publications

96.3K

Citations

5.2K

Authors

1.3K

Institutions

Publications per year

2017–2026

563

Parents

Publications

2.3K

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

, , +11

Formal Methods: State of the Art and Future Directions

Jeannette M. Wing · 1996 · 1.1K citations

, , +11

Formal verification of a realistic compiler

Xavier Leroy · Communications of the ACM · 2009 · 1.1K citations

, , +17

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

, , +17

Formal verification of parallel programs

Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text

, , +16

1–5 of 2.3K

Authors

5.2K

  1. RD
    Rolf Drechsler

    University of Bremen, Germany

    42 publications · 1.2K citations

    21

    h-index

  2. RE
    Randal E. Bryant

    Carnegie Mellon University, United States

    25 publications · 1.7K citations

    20

    h-index

  3. MA
    Matthias Althoff

    Technical University of Munich, Germany

    21 publications · 1.1K citations

    17

    h-index

  4. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    17 publications · 760 citations

    16

    h-index

  5. AP
    André Platzer

    Carnegie Mellon University, United States

    16 publications · 618 citations

    15

    h-index

1–5 of 5.2K

Institutions

1.3K

  1. Carnegie Mellon University

    Pittsburgh, United States

    40 h-index

    205 publications

    13.7K citations

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

    Le Chesnay-Rocquencourt, France

    30 h-index

    118 publications

    9.8K citations

  3. University of California, Berkeley

    Berkeley, United States

    28 h-index

    116 publications

    6.5K citations

  4. Intel (United States)

    Santa Clara, United States

    24 h-index

    83 publications

    2.9K citations

  5. Stanford University

    Stanford, United States

    24 h-index

    77 publications

    7.1K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    23 h-index

    113 publications

    5.6K citations

  7. SRI International

    Menlo Park, United States

    21 h-index

    45 publications

    3.6K citations

  8. University of Bremen

    Bremen, Germany

    21 h-index

    105 publications

    3K citations

1–8 of 1.3K

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 31 publications · 3.4K citations

    24

    h-index

  2. 24

    h-index

  3. arXiv (Cornell University)

    Repository · 42 publications · 1.4K citations

    21

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 37 publications · 1.3K citations

    19

    h-index

  5. IEEE Access

    30 publications · 1.5K citations

    19

    h-index

1–5