Pages that link to "Item:Q2988652"
From MaRDI portal
The following pages link to Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652):
Displaying 4 items.
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
- Mechanised operational reasoning for C11 programs with relaxed dependencies (Q6610382) (← links)
