Concepedia

Verification Of Concurrent Programs

Verification of Concurrent Programs is a formal method in computer science that constitutes the systematic process of proving or disproving the correctness of intended algorithms or systems with respect to a certain property, specifically by analyzing all possible interleavings of concurrent operations to ensure consistent and predictable behavior under shared resource access and synchronization constraints.

413

Publications

30.4K

Citations

672

Authors

256

Institutions

Publications per year

2017–2026

57

Parents

Publications

413

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

K. Mani Chandy, Jayadev Misra · IEEE Transactions on Software Engineering · 1979 · 1.1K citations

, , +17

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations

, , +12

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 824 citations

, , +16

Formal verification of parallel programs

Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text

, , +16

1–5 of 413

Authors

672

  1. MB
    Matthew B. Dwyer

    University of Nebraska–Lincoln, United States

    11 publications · 606 citations

    11

    h-index

  2. SQ
    Shaz Qadeer

    Microsoft (United States), United States

    11 publications · 515 citations

    11

    h-index

  3. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    10 publications · 7.2K citations

    10

    h-index

  4. XF
    Xinyu Feng

    University of Science and Technology of China, China

    10 publications · 511 citations

    10

    h-index

  5. LB
    Lars Birkedal

    Aarhus University, Denmark

    8 publications · 365 citations

    8

    h-index

1–5 of 672

Institutions

256

  1. Microsoft (United States)

    Redmond, United States

    21 h-index

    38 publications

    2.4K citations

  2. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    16 h-index

    38 publications

    2K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    15 h-index

    40 publications

    2.1K citations

  4. The University of Texas at Austin

    Austin, United States

    12 h-index

    35 publications

    5.4K citations

  5. Tel Aviv University

    Tel Aviv, Israel

    10 h-index

    12 publications

    6.7K citations

  6. Yale University

    New Haven, United States

    10 h-index

    32 publications

    1.6K citations

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

    Le Chesnay-Rocquencourt, France

    10 h-index

    14 publications

    422 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    9 h-index

    19 publications

    947 citations

1–8 of 256

Venues

  1. 16

    h-index

  2. ACM SIGPLAN Notices

    24 publications · 665 citations

    16

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 18 publications · 557 citations

    15

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 18 publications · 2.5K citations

    14

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 15 publications · 335 citations

    12

    h-index

1–5