Concepedia

Predicate Abstraction

Predicate Abstraction is a formal method in program analysis that belongs to the class of abstract interpretation techniques, distinguished by its construction of an abstract state space through the logical interpretation of a finite set of predicates over program variables to approximate program semantics for verification purposes.

138

Publications

9.8K

Citations

225

Authors

108

Institutions

Publications per year

2017–2026

11

Parents

Publications

138

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · ACM SIGPLAN Notices · 2012 · 703 citations

, , +12

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 483 citations

, , +14

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · 2001 · 438 citations

, , +12

Liquid types

Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala · 2008 · 388 citations

, , +15

Synthesis of interface specifications for Java classes

Rajeev Alur, Pavol Černý, P. Madhusudan et al. · 2005 · 316 citations

, , +17

1–5 of 138

Authors

225

  1. RM
    Rupak Majumdar

    Max Planck Institute for Software Systems, Germany

    10 publications · 2.5K citations

    10

    h-index

  2. DB
    Dirk Beyer

    University of Passau, Germany

    9 publications · 714 citations

    9

    h-index

  3. RJ
    Ranjit Jhala

    University of California San Diego, United States

    8 publications · 1.6K citations

    8

    h-index

  4. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    8 publications · 1.4K citations

    8

    h-index

  5. DK
    Daniel Kroening

    University of Oxford, United Kingdom

    8 publications · 497 citations

    8

    h-index

1–5 of 225

Institutions

108

  1. Carnegie Mellon University

    Pittsburgh, United States

    12 h-index

    29 publications

    2.3K citations

  2. University of California, Los Angeles

    Los Angeles, United States

    8 h-index

    8 publications

    704 citations

  3. ETH Zurich

    Zurich, Switzerland

    8 h-index

    13 publications

    1.4K citations

  4. University of California, Berkeley

    Berkeley, United States

    8 h-index

    16 publications

    4.3K citations

  5. Microsoft (United States)

    Redmond, United States

    7 h-index

    13 publications

    1.2K citations

  6. Simon Fraser University

    Burnaby, Canada

    6 h-index

    12 publications

    1.3K citations

  7. Imperial College London

    London, United Kingdom

    5 h-index

    8 publications

    138 citations

  8. University of Washington

    Seattle, United States

    5 h-index

    15 publications

    1.7K citations

1–8 of 108

Venues

  1. ACM SIGPLAN Notices

    18 publications · 2.1K citations

    16

    h-index

  2. 3

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 3 publications · 360 citations

    3

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 74 citations

    3

    h-index

  5. ArXiv.org

    Repository · 3 publications · 117 citations

    3

    h-index

1–5