Affiliation:
1. Imperial College London, UK
2. University of Kent, UK
Funder
Lloyd's Register Foundation
Royal Academy of Engineering
Intel Corporation
Engineering and Physical Sciences Research Council
Reference80 articles.
1. Supplementary material for this paper is available in the ACM digital library and in the following GitHub repository. Supplementary material for this paper is available in the ACM digital library and in the following GitHub repository.
2. Rodin: an open toolset for modelling and reasoning in Event-B;Abrial Jean-Raymond;Int. J. Softw. Tools Technol. Transfer,2010
3. Shared memory consistency models: a tutorial
4. Weak ordering---a new definition
5. The power of processor consistency
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unifying Weak Memory Verification Using Potentials;Lecture Notes in Computer Science;2024-09-11
2. How Hard Is Weak-Memory Testing?;Proceedings of the ACM on Programming Languages;2024-01-05
3. Meow: Memory Evaluation through Optimized Workloads - Synthesizing Litmus Tests for Memory Consistency Verification;2023 IEEE 20th India Council International Conference (INDICON);2023-12-14
4. Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools;IEEE Transactions on Software Engineering;2023-12
5. Crucible: Graphical Test Cases for Alloy Models;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09