Concepedia

Pushdown Automata Model Checking

Pushdown Automata Model Checking is a formal verification method that employs a pushdown automaton as a model of computation to algorithmically determine whether a given system specification satisfies desired temporal logic properties, distinguished by its ability to handle infinite-state systems through the manipulation of an unbounded stack.

32

Publications

1.3K

Citations

52

Authors

46

Institutions

Publications per year

2017–2026

1

Parents

Publications

32

Formalizing sensitivity in static analysis for intrusion detection

H.H. Feng, Jon Giffin, Yong Yi Huang et al. · 2004 · 162 citations

, , +14

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

Alain Finkel, Bernard Willems, Pierre Wolper · Electronic Notes in Theoretical Computer Science · 1997 · 148 citations · Full text

, , +15

Model checking probabilistic pushdown automata

Javier Esparza, Antonı́n Kučera, Richard Mayr · 2004 · 124 citations · Full text

, , +14

A regularity test for pushdown machines

Richard E. Stearns · Information and Control · 1967 · 111 citations

, , +9

Pushdown Processes: Games and Model Checking

Igor Walukiewicz · BRICS Report Series · 1996 · 93 citations · Full text

, , +13

1–5 of 32

Authors

52

  1. RM
    Richard Mayr

    University of Edinburgh, United Kingdom

    4 publications · 275 citations

    4

    h-index

  2. JE
    Javier Esparza

    Technical University of Munich, Germany

    4 publications · 274 citations

    4

    h-index

  3. AK
    Antonı́n Kučera

    Masaryk University, Czechia

    4 publications · 275 citations

    4

    h-index

  4. ET
    Etsuji Tomita

    University of Electro-Communications, Japan

    3 publications · 39 citations

    3

    h-index

  5. MH
    Matthew Hague

    University of Oxford, United Kingdom

    2 publications · 51 citations

    2

    h-index

1–5 of 52

Institutions

46

  1. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    8 publications

    207 citations

  2. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    5 h-index

    5 publications

    119 citations

  3. Université Paris Cité

    Paris, France

    4 h-index

    6 publications

    158 citations

  4. University of Stuttgart

    Stuttgart, Germany

    4 h-index

    5 publications

    344 citations

  5. Masaryk University

    Brno, Czechia

    4 h-index

    4 publications

    275 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    3 publications

    107 citations

  7. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    3 h-index

    3 publications

    182 citations

  8. University of Insubria

    Varese, Italy

    2 h-index

    2 publications

    37 citations

1–8 of 46

Venues

  1. Theoretical Computer Science

    4 publications · 96 citations

    4

    h-index

  2. Journal of Computer and System Sciences

    2 publications · 36 citations

    2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 159 citations

    2

    h-index

  4. Information and Control

    2 publications · 124 citations

    2

    h-index

  5. Logical Methods in Computer Science

    LMCS · 2 publications · 53 citations

    2

    h-index

1–5