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

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto

Browse the full SETTA paper archive.