Pages that link to "Item:Q3600484"
From MaRDI portal
The following pages link to Shape-Value Abstraction for Verifying Linearizability (Q3600484):
Displaying 7 items.
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free (Q2058383) (← links)
- Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (Q2891398) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- (Q5090915) (← links)
- (Q5155670) (← links)
