Pages that link to "Item:Q681346"
From MaRDI portal
The following pages link to Effective abstractions for verification under relaxed memory models (Q681346):
Displaying 13 items.
- Verification of STM on relaxed memory models (Q453508) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (Q2945130) (← links)
- (Q3130550) (← links)
- (Q4788549) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Effective Abstractions for Verification under Relaxed Memory Models (Q5172657) (← links)
- Computer Aided Verification (Q5312917) (← links)
- LMS-Verify: abstraction without regret for verified systems programming (Q5370919) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)