Liveness Verification is a formal method within the domain of concurrent system verification that ensures a system will eventually reach a desired state, distinguishing itself from safety verification by focusing on guarantees of progress and termination rather than the absence of erroneous states.
180
Publications
8.9K
Citations
452
Authors
192
Institutions
Publications per year
2017–2026
39
Publications
180
Chris Hawblitzel, Jon Howell, Manos Kapritsos et al. · 2015 · 309 citations
On the verification of broadcast protocols
Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 247 citations
1–5 of 180
Authors
452
- AR
7
h-index
- BC
6
h-index
- AP
6
h-index
- GC
5
h-index
- AG
4
h-index
1–5 of 452
Institutions
192
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
9 h-index
26 publications
3.5K citations
The University of Texas at Austin
Austin, United States
8 h-index
14 publications
954 citations
Microsoft (United States)
Redmond, United States
7 h-index
18 publications
3.1K citations
École Polytechnique Fédérale de Lausanne
Lausanne, Switzerland
6 h-index
12 publications
498 citations
University of California, Los Angeles
Los Angeles, United States
5 h-index
6 publications
178 citations
University of Freiburg
Freiburg im Breisgau, Germany
5 h-index
7 publications
274 citations
Max Planck Institute for Software Systems
Saarbrücken, Germany
5 h-index
7 publications
255 citations
University of Cambridge
Cambridge, United Kingdom
5 h-index
7 publications
366 citations
1–8 of 192
Venues
- ACM Transactions on Programming Languages and Systems
6 publications · 1.3K citations
6
h-index
- arXiv (Cornell University)
Repository · 6 publications · 145 citations
6
h-index
- ACM SIGPLAN Notices
6 publications · 265 citations
6
h-index
- IEEE Transactions on Software Engineering
TSE · 4 publications · 280 citations
4
h-index
- UNICA IRIS Institutional Research Information System (University of Cagliari)
Repository · 2 publications · 137 citations
2
h-index
1–5