The Test Model-Checking Approach to the Verification of Formal Memory Models of Multiprocessors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan. The Test Model-Checking Approach to the Verification of Formal Memory Models of Multiprocessors. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 464-476, Springer, 1998.

This author has not been identified. Look up 'Ratan Nalumasu' in GoogleThis author has not been identified. Look up 'Rajnish Ghughal' in GoogleThis author has not been identified. Look up 'Abdelillah Mokkedem' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL