Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda +1

Software model checking suffers from the so-called state explosion problem, and relaxed memory consistency models even worsen this situation. What is worse, parameterizing model ch…