The following pages link to (Q4417904):
Displaying 11 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models (Q3179280) (← links)
- CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs (Q3303910) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- A parametric rely-guarantee reasoning framework for concurrent reactive systems (Q6535947) (← links)
