Liveness with (0, 1, infty)-Counter Abstraction

@inproceedings{Pnueli2002LivenessW,
  title={Liveness with (0, 1, infty)-Counter Abstraction},
  author={Amir Pnueli and Jessie Xu and Lenore D. Zuck},
  booktitle={CAV},
  year={2002}
}
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 225 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 142 extracted citations

Reachability in Binary Multithreaded Programs Is Polynomial

2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) • 2017
View 1 Excerpt
Highly Influenced

225 Citations

01020'00'04'09'14'19
Citations per Year
Semantic Scholar estimates that this publication has 225 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…