1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…