Verification Methods for Weaker Shared Memory Consistency Models-Reference-Cited by-同舟云学术

Verification Methods for Weaker Shared Memory Consistency Models

Published:2000 Issue: Volume: Page:985-992
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ghughal Rajnish P.,Gopalakrishnan Ganesh C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45591-4_135

Reference13 articles.

1. Collier, W. W.Reasoning About Parallel Architectures. Prentice-Hall, Englewood Cliffs, NJ, 1992.

2. Dill, D. L., Park, S., and Nowatzyk, A. Formal specification of abstract memory models. In Research on Integrated Systems (1993), G. Borriello and C. Ebeling, Eds., MIT Press, pp. 38–52.

3. Ghughal, R. Test model-checking approach to verification of formal memory models, 1999.Also available from http://www.cs.utah.edu/formal_verification .

4. Ghughal, R., Nalumasu, R., Mokkedem, A., and Gopalakrishnan, G. Using “test model-checking” to verify the Runway-PA8000 memory model. In Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (Puerto Vallarta, Mexico, June 1998).

5. Hojati, R., and Brayton, R. Automatic datapath abstraction of hardware systems. In Conference on Computer-Aided Verification (1995).

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking;Computer Aided Verification;2002

2. A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols;Formal Methods in Computer-Aided Design;2002