Concepedia

Compositional Model Checking

Compositional Model Checking is a formal verification method that belongs to the class of model checking techniques, distinguished by its use of component-wise analysis and logical decomposition rules to verify properties of a system by reasoning about its subsystems and their interactions.

144

Publications

5.3K

Citations

289

Authors

161

Institutions

Publications per year

2017–2026

7

Parents

Publications

144

Model checking and modular verification

Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 526 citations · Full text

, , +16

Compositional model checking

E. M. Clarke, David E. Long, Kenneth L. McMillan · 2003 · 471 citations

, , +11

Conformance checking based on multi-perspective declarative process models

Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti · Expert Systems with Applications · 2016 · 175 citations · Full text

, , +10

Compositional and symbolic model-checking of real-time systems

Kim G. Larsen, Paul Pettersson, Wang Yi · 2002 · 162 citations

, , +11

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali et al. · Fundamenta Informaticae · 2004 · 160 citations

, , +16

1–5 of 144

Authors

289

  1. KG
    Kim G. Larsen

    Aalborg University, Denmark

    7 publications · 312 citations

    7

    h-index

  2. JS
    Jin Song Dong

    National University of Singapore, Singapore

    5 publications · 189 citations

    5

    h-index

  3. JS
    Jun Sun

    National University of Singapore, Singapore

    5 publications · 189 citations

    5

    h-index

  4. YL
    Yang Liu

    Nanyang Technological University, Singapore

    5 publications · 189 citations

    5

    h-index

  5. DE
    David E. Long

    Carnegie Mellon University, United States

    4 publications · 1.2K citations

    4

    h-index

1–5 of 289

Institutions

161

  1. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    11 publications

    2.6K citations

  2. National University of Singapore

    Singapore, Singapore

    5 h-index

    14 publications

    623 citations

  3. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    5 h-index

    7 publications

    492 citations

  4. Aalborg University

    Aalborg, Denmark

    5 h-index

    12 publications

    251 citations

  5. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    4 h-index

    7 publications

    134 citations

  6. Paderborn University

    Paderborn, Germany

    4 h-index

    18 publications

    1.2K citations

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    6 publications

    124 citations

  8. University of Oxford

    Oxford, United Kingdom

    4 h-index

    7 publications

    179 citations

1–8 of 161

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 109 citations

    7

    h-index

  2. Formal Methods in System Design

    4 publications · 139 citations

    5

    h-index

  3. Theoretical Computer Science

    4 publications · 59 citations

    4

    h-index

  4. Information and Computation

    4 publications · 114 citations

    4

    h-index

  5. Science of Computer Programming

    4 publications · 223 citations

    4

    h-index

1–5