Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. - Tatsuya Abe 001; Tomoharu Ugawa; Toshiyuki Maeda; Kousuke Matsumoto (SETTA, 2016)