The following pages link to (Q4524764):
Displaying 19 items.
- KIV (Q22029) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages (Q2237340) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Formal Verification of a Lock-Free Stack with Hazard Pointers (Q3105753) (← links)
- A Compiled Implementation of Normalization by Evaluation (Q3543648) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)
- A Framework for Correctness Criteria on Weak Memory Models (Q5206951) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
