Pages that link to "Item:Q681346"
From MaRDI portal
The following pages link to Effective abstractions for verification under relaxed memory models (Q681346):
Displaying 6 items.
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- (Q3130550) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)
