Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. In Cyrille Artho, Axel Legay, Doron Peled, editors, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Volume 9938 of Lecture Notes in Computer Science, pages 174-191, 2016. [doi]
Abstract is missing.