Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey Verifying liveness for asynchronous programs. (English) Zbl 1315.68064 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 102-113 (2009). MSC: 68N19 68N30 68Q85 PDFBibTeX XMLCite \textit{P. Ganty} et al., in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '09, Savannah, GA, USA, January 18--24, 2009. New York, NY: Association for Computing Machinery (ACM). 102--113 (2009; Zbl 1315.68064) Full Text: DOI
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. Proving that programs eventually do something good. (English) Zbl 1295.68083 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 265-276 (2007). MSC: 68N30 68M14 68N15 68Q60 PDFBibTeX XMLCite \textit{B. Cook} et al., in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 265--276 (2007; Zbl 1295.68083) Full Text: DOI Link
Podelski, Andreas; Rybalchenko, Andrey Transition predicate abstraction and fair termination. (English) Zbl 1369.68152 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 132-144 (2005). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{A. Podelski} and \textit{A. Rybalchenko}, in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 132--144 (2005; Zbl 1369.68152) Full Text: DOI