The `Test Model-checking' Approach to the Verification of Formal Memory Models of Multiprocessors (1998)

by Ratan Nalumasu , Rajnish Ghughal , Abdel Mokkedem , Ganesh Gopalakrishnan
Venue:In Computer-Aided Verification: 10th International Conference
Citations:20 - 8 self