The following pages link to Testing Shared Memories (Q4376172):
Displaying 12 items.
- Stateless model checking under a reads-value-from equivalence (Q832184) (← links)
- Checking the correctness of memories (Q890427) (← links)
- On reducing linearizability to state reachability (Q1641012) (← links)
- Analyzing linearizability violations in the presence of read-modify-write operations (Q1653043) (← links)
- On the complexity of linearizability (Q2218465) (← links)
- Concurrent correctness in vector space (Q2234067) (← links)
- Deciding Robustness against Total Store Ordering (Q3012938) (← links)
- Computing $k$-Atomicity in Polynomial Time (Q4637504) (← links)
- (Q5111629) (← links)
- On the Complexity of Bounded Context Switching. (Q5111714) (← links)
- Fine-grained complexity of safety verification (Q5919003) (← links)
- Quantifiability: a concurrent correctness condition modeled in vector space (Q6161035) (← links)