Pages that link to "Item:Q2324213"
From MaRDI portal
The following pages link to Automating deductive verification for weak-memory programs (Q2324213):
Displayed 5 items.
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)