Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.

Rajnish Ghughal Abdelillah Mokkedem Ratan Nalumasu Ganesh Gopalakrishnan Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. 231-239 1998 SPAA http://doi.acm.org/10.1145/277651.277689 db/conf/spaa/spaa98.html#GhughalMNG98