Pages that link to "Item:Q1803302"
From MaRDI portal
The following pages link to Testing and verifying concurrent objects (Q1803302):
Displaying 11 items.
- Verifying atomic data types (Q914403) (← links)
- Modular verification of concurrency-aware linearizability (Q1664150) (← links)
- Analysing lock-free linearizable datatypes using CSP (Q1708716) (← links)
- Black-box correctness tests for basic parallel data structures (Q1849604) (← links)
- Model-checking of correctness conditions for concurrent objects (Q1854357) (← links)
- Concurrent correctness in vector space (Q2234067) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← links)
- Tractable refinement checking for concurrent objects (Q2819855) (← links)
- Automatically verifying concurrent queue algorithms (Q2845500) (← links)
- Verifying concurrent data structures by simulation (Q2863833) (← links)
- FM 2005: Formal Methods (Q5716908) (← links)