Using “test model-checking” to verify the Runway-PA8000 memory model
Rajnish Ghughal, Abdel Mokkedem, Ratan Nalumasu, Ganesh Lalitha Gopalakrishnan · 1998
Article Free Access Share on Using “test model-checking” to verify the Runway-PA8000 memory model Authors: Rajnish Ghughal Department of Computer Science, University of Utah, Salt Lake City, UT Department of Computer Science, University of Utah, Salt Lake City, UTView Profile , Abdel Mokkedem Department of Computer Science, University of Utah, Salt Lake City, UT Department of Computer Science, University of Utah, Salt Lake City, UTView Profile , Ratan Nalumasu Department of Computer Science, University of Utah, Salt Lake City, UT Department of Computer Science, University of Utah, Salt Lake City, UTView Profile , Ganesh Gopalakrishnan Department of Computer Science, University of Utah, Salt Lake City, UT Department of Computer Science, University of Utah, Salt Lake City, UTView Profile Authors Info & Claims SPAA '98: Proceedings of the tenth annual ACM symposium on Parallel algorithms and architecturesJune 1998 Pages 231–239https://doi.org/10.1145/277651.277689Published:01 June 1998Publication History 6citation261DownloadsMetricsTotal Citations6Total Downloads261Last 12 Months17Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF