The ‘test model-checking’ approach to the verification of formal memory models of multiprocessors-Reference-Cited by-同舟云学术

The ‘test model-checking’ approach to the verification of formal memory models of multiprocessors

Published:1998 Issue: Volume: Page:464-476
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Nalumasu Ratan,Ghughal Rajnish,Mokkedem Abdel,Gopalakrishnan Ganesh

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0028767

Reference27 articles.

1. Sarita V. Adve and Kourosh Gharachorloo. Shared memory consistency models: A tutorial. Computer, 29(12):66–76, December 1996.

2. Yehuda Afek, Geoffrey Brown, and Michael Merritt. Lazy caching. ACM Transactions on Programming Languages and Systems, 15(1):182–205, January 1993.

3. Rajeev Alur, Ken McMillan, and Doron Peled. Model-checking of correctness conditions for concurrent objects. In 11th Annual IEEE Symposium on Logic in Computer Science, pages 219–228, July 1996.

4. William R. Bryg, Kenneth K. Chan, and Nicholas S.Fiduccia. A high-performance, low-cost multiprocessor bus for workstations and midrange servers. Hewlett-Packard Journal, pages 18–24, February 1996.

5. Albert Camilleri. A hybrid approach to verifying liveness in a symmetric multiprocessor. In Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97 Murray Hill, NJ, pages 49–67, August 1997. Springer-Verlag LNCS 1275.

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

1. Generating Litmus Tests for Contrasting Memory Consistency Models;Computer Aided Verification;2010

2. Validating Power Architecture™ Technology-Based MPSoCs Through Executable Specifications;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2008-04

3. Memory model sensitive bytecode verification;Formal Methods in System Design;2007-10-18

4. A Memory Model Sensitive Checker for C#;FM 2006: Formal Methods;2006

5. A Case Study On The Verification of Cache Coherence Protocols;International Journal of Computers and Applications;2004-01