Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto. Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. In Martin Fränzle, Deepak Kapur, Naijun Zhan, editors, Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Volume 9984 of Lecture Notes in Computer Science, pages 118-135, 2016. [doi]
Abstract is missing.