Program Correctness is a formal property in Refinement Calculus that signifies a program's adherence to its specified pre- and postconditions under all admissible executions, distinguishing it from competing program behaviors by ensuring logical consistency with its intended semantics.
352
Publications
21.8K
Citations
684
Authors
257
Institutions
Publications per year
2017–2026
55
Parents
Publications
352
James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text
Thomas Ball, Sriram K. Rajamani · 2002 · 926 citations
Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations
1–5 of 352
Authors
684
- ZM
8
h-index
- BL
6
h-index
- SK
6
h-index
- DI
6
h-index
- SG
5
h-index
1–5 of 684
Institutions
257
Massachusetts Institute of Technology
Cambridge, United States
16 h-index
44 publications
3.2K citations
Carnegie Mellon University
Pittsburgh, United States
14 h-index
31 publications
2.1K citations
Microsoft (United States)
Redmond, United States
14 h-index
23 publications
4.3K citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
11 h-index
22 publications
3.2K citations
Princeton University
Princeton, United States
11 h-index
37 publications
4.1K citations
Stanford University
Stanford, United States
10 h-index
18 publications
2.2K citations
University of California, Berkeley
Berkeley, United States
9 h-index
20 publications
2.7K citations
Weizmann Institute of Science
Rehovot, Israel
8 h-index
13 publications
506 citations
1–8 of 257
Venues
- IEEE Transactions on Software Engineering
TSE · 22 publications · 1.6K citations
17
h-index
- ACM SIGPLAN Notices
22 publications · 1.4K citations
16
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 11 publications · 443 citations
11
h-index
- Theoretical Computer Science
9 publications · 273 citations
9
h-index
- Communications of the ACM
7 publications · 588 citations
7
h-index
1–5