Concurrent Program Verification is a formal methodological framework within program verification that specifically addresses the correctness of concurrent programs by rigorously ensuring their adherence to specified properties under all possible interleavings of thread executions.
504
Publications
36K
Citations
801
Authors
301
Institutions
Publications per year
2017–2026
82
Publications
504
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations
Formal verification of parallel programs
Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text
1–5 of 504
Authors
801
- SQ
17
h-index
- MB
12
h-index
- XF
12
h-index
- CF
11
h-index
- ZS
10
h-index
1–5 of 801
Institutions
301
Microsoft (United States)
Redmond, United States
24 h-index
50 publications
3.6K citations
Carnegie Mellon University
Pittsburgh, United States
17 h-index
44 publications
8.4K citations
Max Planck Institute for Software Systems
Saarbrücken, Germany
15 h-index
38 publications
2.1K citations
Tel Aviv University
Tel Aviv, Israel
14 h-index
19 publications
7K citations
Yale University
New Haven, United States
14 h-index
45 publications
3K citations
University of Cambridge
Cambridge, United Kingdom
13 h-index
23 publications
1.2K citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
12 h-index
21 publications
974 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
12 h-index
18 publications
748 citations
1–8 of 301
Venues
- ACM Transactions on Programming Languages and Systems
24 publications · 4.9K citations
19
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 23 publications · 744 citations
19
h-index
- ACM SIGPLAN Notices
27 publications · 997 citations
18
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 20 publications · 595 citations
15
h-index
- IEEE Transactions on Software Engineering
TSE · 17 publications · 2.7K citations
13
h-index
1–5