Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi. Boosting Sequential Consistency Checking Using Saturation. In Dang Van Hung, Oleg Sokolsky, editors, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Volume 12302 of Lecture Notes in Computer Science, pages 360-376, Springer, 2020. [doi]
Abstract is missing.