The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.

Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan

Browse the full CAV paper archive.