Tatsuya Abe 0001, Tomoharu Ugawa, Toshiyuki Maeda. Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. In Andrei Paskevich, Thomas Wies, editors, Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Volume 10712 of Lecture Notes in Computer Science, pages 170-190, Springer, 2017. [doi]
Abstract is missing.