Automatic Verification of Parameterized Cache Coherence Protocols-Reference-Cited by-同舟云学术

Automatic Verification of Parameterized Cache Coherence Protocols

Published:2000 Issue: Volume: Page:53-68
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Delzanno Giorgio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722167_8

Reference33 articles.

1. Abdulla, P.A., Cerāns, K., Jonsson, B., Tsay, Y.-K.: General Decidability Theorems for Infinite-State Systems. In: Proc. 10th IEEE Int. Symp. on Logic in Computer Science, pp. 313–321 (1996)

2. Lecture Notes in Computer Science;P.A. Abdulla,1999

3. Abdulla, P.A., Jonsson, B.: Ensuring Completeness of Symbolic Verification Methods for Infinite-State Systems. To appear in Theoretical Computer Science (1999)

4. Archibald, P.A., Baer, J.: Cache Coherence Protocols: Evaluation Using a Multiprocessor Simulation Model. ACM Transactions on Computer Systems 4(4), 273–298 (1986)

5. Lecture Notes in Computer Science;T. Bultan,1997

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

1. Liveness in broadcast networks;Computing;2021-08-10

2. Computing Parameterized Invariants of Parameterized Petri Nets;Application and Theory of Petri Nets and Concurrency;2021

3. Boosting Sequential Consistency Checking Using Saturation;Automated Technology for Verification and Analysis;2020

4. Structural Invariants for the Verification of Systems with Parameterized Architectures;Tools and Algorithms for the Construction and Analysis of Systems;2020

5. Liveness in Broadcast Networks;Networked Systems;2019