Concepedia

Program Property Analysis

Program Property Analysis is a static analysis technique that determines whether a program satisfies specific correctness, safety, or security properties by mathematically reasoning about its code without execution.

53

Publications

3.6K

Citations

129

Authors

61

Institutions

Publications per year

2017–2026

9

Parents

Publications

53

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations

, , +13

MOPS

Hao Chen, David Wagner · 2002 · 383 citations

, , +15

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text

, , +13

Proceedings 39th International Conference on Logic Programming

Jorge Fandinno, Zachary Hansen, Yuliya Lierler · Electronic Proceedings in Theoretical Computer Science · 2023 · 163 citations · Full text

, , +16

Discovering properties about arrays in simple programs

Nicolas Halbwachs, Mathias Péron · 2008 · 142 citations · Full text

, , +12

1–5 of 53

Authors

129

  1. DM
    David Monniaux

    Verimag, France

    3 publications · 976 citations

    3

    h-index

  2. JF
    Jérôme Ferêt

    École Normale Supérieure - PSL, France

    3 publications · 976 citations

    3

    h-index

  3. LM
    Laurent Mauborgne

    École Normale Supérieure, Burundi

    3 publications · 976 citations

    3

    h-index

  4. RC
    Radhia Cousot

    École Polytechnique, France

    3 publications · 976 citations

    3

    h-index

  5. AM
    Antoine Miné

    École Normale Supérieure - PSL, France

    3 publications · 976 citations

    3

    h-index

1–5 of 129

Institutions

61

  1. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    11 publications

    314 citations

  2. University of California, Berkeley

    Berkeley, United States

    4 h-index

    6 publications

    982 citations

  3. Microsoft (United States)

    Redmond, United States

    4 h-index

    6 publications

    581 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    390 citations

  5. Centre National pour la Recherche Scientifique et Technique (CNRST)

    Rabat, Morocco

    3 h-index

    9 publications

    2.9K citations

  6. École Normale Supérieure

    Bujumbura, Burundi

    3 h-index

    21 publications

    6.8K citations

  7. IBM (United States)

    Armonk, United States

    2 h-index

    7 publications

    78 citations

  8. Verimag

    Gières, France

    2 h-index

    4 publications

    368 citations

1–8 of 61

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 5 publications · 231 citations

    5

    h-index

  2. 3

    h-index

  3. 2

    h-index

  4. ACM SIGPLAN Notices

    2 publications · 619 citations

    2

    h-index

  5. Automated Software Engineering

    1 publications · 60 citations

    1

    h-index

1–5