Pages that link to "Item:Q832723"
From MaRDI portal
The following pages link to Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723):
Displaying 4 items.
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)
- Compositional reasoning for non-multicopy atomic architectures (Q6610380) (← links)
- Mechanised operational reasoning for C11 programs with relaxed dependencies (Q6610382) (← links)
