Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

@inproceedings{Abe2017ReorderingCA,
  title={Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models},
  author={Tatsuya Abe and Tomoharu Ugawa and Toshiyuki Maeda},
  booktitle={VSTTE},
  year={2017}
}