Concepedia

Parameterized Verification

Parameterized Verification is a formal method in concurrent system verification that aims to prove correctness properties of systems with an arbitrary number of processes by modeling and analyzing system behavior as a function of symbolic parameters representing process counts or network configurations.

37

Publications

1.1K

Citations

79

Authors

47

Institutions

Publications per year

2017–2026

6

Parents

Publications

37

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

, , +11

Verifying parameterized networks

E. M. Clarke, Orna Grümberg, Sumit Kumar Jha · ACM Transactions on Programming Languages and Systems · 1997 · 72 citations · Full text

, , +14

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Annu John, Igor Konnov, Ulrich Schmid et al. · 2013 · 69 citations

, , +15

Going with the Flow: Parameterized Verification Using Message Flows

Murali Talupur, Mark R. Tuttle · 2008 · 63 citations

, , +16

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · Synthesis lectures on distributed computing theory · 2015 · 53 citations · Full text

, , +12

1–5 of 37

Authors

79

  1. IK
    Igor Konnov

    TU Wien, Austria

    5 publications · 279 citations

    5

    h-index

  2. GD
    Giorgio Delzanno

    University of Genoa, Italy

    5 publications · 129 citations

    5

    h-index

  3. JW
    Josef Widder

    TU Wien, Austria

    5 publications · 279 citations

    5

    h-index

  4. HV
    Helmut Veith

    TU Wien, Austria

    5 publications · 279 citations

    5

    h-index

  5. PA
    Parosh Aziz Abdulla

    Uppsala University, Sweden

    3 publications · 79 citations

    3

    h-index

1–5 of 79

Institutions

47

  1. University of Genoa

    Genoa, Italy

    6 h-index

    8 publications

    186 citations

  2. TU Wien

    Vienna, Austria

    4 h-index

    14 publications

    930 citations

  3. Uppsala University

    Uppsala, Sweden

    3 h-index

    5 publications

    141 citations

  4. Université Paris Cité

    Paris, France

    3 h-index

    6 publications

    124 citations

  5. Imperial College London

    London, United Kingdom

    3 h-index

    6 publications

    154 citations

  6. Russian Academy of Sciences

    Moscow, Russia

    2 h-index

    2 publications

    58 citations

  7. Technical University of Munich

    Munich, Germany

    2 h-index

    2 publications

    42 citations

  8. University of Naples Federico II

    Naples, Italy

    2 h-index

    2 publications

    148 citations

1–8 of 47

Venues

  1. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 4 publications · 93 citations

    4

    h-index

  2. Formal Methods in System Design

    2 publications · 34 citations

    2

    h-index

  3. 2

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 41 citations

    2

    h-index

  5. Theoretical Computer Science

    2 publications · 47 citations

    2

    h-index

1–5