Concurrency Verification

Concurrency Verification is a formal method that belongs to the class of program verification techniques, specifically distinguished by its focus on ensuring the correctness of concurrent systems through rigorous mathematical analysis of their concurrent behaviors and potential interactions.

844

Publications

41.9K

Citations

1.6K

Authors

521

Institutions

Publications per year

2017–2026

143

Parents

Formal Methods

Children

Assume-guarantee ReasoningBisimulationCompositional VerificationComputation Tree LogicConcurrent Data Structure VerificationConcurrent Program VerificationConsensus Protocol VerificationDeadlock DetectionDistributed Algorithm VerificationExplicit-state Model Checking

Publications

844

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Computing, Computer Science, Computer Architecture +16

Model checking for programming languages using VeriSoft

Patrice Godefroid · 1997 · 829 citations · Full text

Computing, Computer Science, Computer Systems +17

Concurrent Program Schemes and their Interpretations

Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 570 citations · Full text

Computing, Computer Science, Algorithms +15

The concurrency workbench

Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 555 citations · Full text

Computing, Computer Science, Computer Systems +17

1–5 of 844

Authors

1.6K

VV
Viktor Vafeiadis
Max Planck Institute for Software Systems, Germany
21 publications · 1.3K citations
18
h-index
LB
Lars Birkedal
Aarhus University, Denmark
14 publications · 834 citations
14
h-index
DD
Derek Dreyer
Max Planck Institute for Software Systems, Germany
15 publications · 1.2K citations
14
h-index
XF
Xinyu Feng
University of Science and Technology of China, China
12 publications · 585 citations
12
h-index
SQ
Shaz Qadeer
Microsoft (United States), United States
11 publications · 435 citations
11
h-index

1–5 of 1.6K

Institutions

521

1–8 of 521

Venues

Proceedings of the ACM on Programming Languages
PACMPL · 34 publications · 1.1K citations
21
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 45 publications · 1.4K citations
21
h-index
ACM SIGPLAN Notices
36 publications · 922 citations
20
h-index
ACM Transactions on Programming Languages and Systems
21 publications · 8K citations
16
h-index
IEEE Transactions on Software Engineering
TSE · 21 publications · 1K citations
15
h-index

1–5