Computer-assisted analysis of multiprocessor memory systems

Authors:
David L. Dill;Seungjoon Park
Affiliations:
-;-
Venue:
Computer-assisted analysis of multiprocessor memory systems
Year:
1996

Citing 0
Cited 3

Verifying Systems with Replicated Components in Mur&b.phiv;

Formal Methods in System Design
A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols

FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract