Automatically Proving Linearizability
No abstract available.
Related papers
- Automatically Verifying Replication-Aware Linearizability OOPSLA 2025
- Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates CAV 2013
- Proof Automation for Linearizability in Separation Logic OOPSLA 2023
- Line-up: a complete and automatic linearizability checker PLDI 2010
- Proving Linearizability Using Forward Simulations CAV 2017
- Proving Linearizability Using Partial Orders ESOP 2017
- A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability POPL 2024
- RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency POPL 2025