Lasso detection using partial-state caching

  title={Lasso detection using partial-state caching},
  author={Rashmi Mudduluru and Pantazis Deligiannis and Ankush Desai and Akash Lal and Shaz Qadeer},
  journal={2017 Formal Methods in Computer Aided Design (FMCAD)},
We study the problem of finding liveness violations in real-world asynchronous and distributed systems. Unlike a safety property, which asserts that certain bad states should never occur during execution, a liveness property states that a program should not remain in a bad state for an infinitely long period of time. Checking for liveness violations is essential to ensure that a system will always make progress in production. The violation of a liveness property can be demonstrated by a finite… CONTINUE READING
1 Citations
17 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 17 references

Lasso detection using partial-state caching

  • R. Mudduluru, P. Deligiannis, A. Desai, A. Lal, S. Qadeer
  • Technical Report MSR-TR-2017-
  • 2017
2 Excerpts

Similar Papers

Loading similar papers…