The following pages link to RGSep Action Inference (Q3656895):
Displaying 3 items.
- 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)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification (Q6661749) (← links)