Pages that link to "Item:Q2251128"
From MaRDI portal
The following pages link to RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128):
Displaying 8 items.
- RGITL (Q25828) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Towards a Thread-Local Proof Technique for Starvation Freedom (Q2814127) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
