Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore.
Scalable Multi-core Model Checking Fairness Enhanced Systems