Concepedia

Model Checking Specifications

Model Checking Specifications is a formal method in specification languages that involves the systematic verification of system models against temporal logic properties to ensure correctness with respect to desired behaviors.

143

Publications

16K

Citations

331

Authors

178

Institutions

Publications per year

2017–2026

12

Parents

Publications

143

Multiple imputation using chained equations: Issues and guidance for practice

Ian R. White, Patrick Royston, Angela Wood · Statistics in Medicine · 2010 · 9.6K citations

, , +15

Analysis of interacting BPEL web services

Xiang Fu, Tevfik Bultan, Jianwen Su · 2004 · 627 citations

, , +17

Using model checking to generate tests from specifications

Paul Ammann, William J. Majurski · 2002 · 316 citations

, , +14

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 309 citations · Full text

, , +16

MCMAS: an open-source model checker for the verification of multi-agent systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi · International Journal on Software Tools for Technology Transfer · 2015 · 223 citations · Full text

, , +15

1–5 of 143

Authors

331

  1. TB
    Tevfik Bultan

    University of California, Santa Barbara, United States

    7 publications · 850 citations

    7

    h-index

  2. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    5 publications · 321 citations

    5

    h-index

  3. PB
    Paul Beame

    University of Washington, United States

    5 publications · 575 citations

    5

    h-index

  4. RA
    Richard Anderson

    University of Washington, United States

    5 publications · 575 citations

    5

    h-index

  5. DN
    David Notkin

    University of Washington, United States

    5 publications · 575 citations

    5

    h-index

1–5 of 331

Institutions

178

  1. Imperial College London

    London, United Kingdom

    7 h-index

    10 publications

    428 citations

  2. University of California, Santa Barbara

    Santa Barbara, United States

    6 h-index

    11 publications

    2.3K citations

  3. University of Washington

    Seattle, United States

    5 h-index

    26 publications

    3.3K citations

  4. Politecnico di Milano

    Milan, Italy

    4 h-index

    8 publications

    128 citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    5 publications

    211 citations

  6. University College London

    London, United Kingdom

    3 h-index

    3 publications

    9.7K citations

  7. University of Liverpool

    Liverpool, United Kingdom

    3 h-index

    11 publications

    810 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    104 citations

1–8 of 178

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 216 citations

    9

    h-index

  2. 5

    h-index

  3. arXiv (Cornell University)

    Repository · 4 publications · 66 citations

    4

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 59 citations

    3

    h-index

  5. Formal Aspects of Computing

    3 publications · 224 citations

    3

    h-index

1–5