Urban, Caterina; Miné, Antoine Inference of ranking functions for proving temporal properties by abstract interpretation. (English) Zbl 1379.68101 Comput. Lang. Syst. Struct. 47, Part 1, 77-103 (2017). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{C. Urban} and \textit{A. Miné}, Comput. Lang. Syst. Struct. 47, Part 1, 77--103 (2017; Zbl 1379.68101) Full Text: DOI HAL
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran Effective abstractions for verification under relaxed memory models. (English) Zbl 1379.68237 Comput. Lang. Syst. Struct. 47, Part 1, 62-76 (2017). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{A. Dan} et al., Comput. Lang. Syst. Struct. 47, Part 1, 62--76 (2017; Zbl 1379.68237) Full Text: DOI
Meenakshi, B.; Ramanujam, R. Reasoning about layered message passing systems. (English) Zbl 1072.68067 Comput. Lang. Syst. Struct. 30, No. 3-4, 171-206 (2004). MSC: 68Q60 68Q85 03B44 PDFBibTeX XMLCite \textit{B. Meenakshi} and \textit{R. Ramanujam}, Comput. Lang. Syst. Struct. 30, No. 3--4, 171--206 (2004; Zbl 1072.68067) Full Text: DOI
Campos, Alvaro E.; Suazo, Dionel A. Data-race and concurrent-write freedom are undecidable. (English) Zbl 1056.68058 Comput. Lang. Syst. Struct. 29, No. 1-2, 1-13 (2003). MSC: 68N19 PDFBibTeX XMLCite \textit{A. E. Campos} and \textit{D. A. Suazo}, Comput. Lang. Syst. Struct. 29, No. 1--2, 1--13 (2003; Zbl 1056.68058) Full Text: DOI