The following pages link to RGITL (Q25828):
Displaying 7 items.
- 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)
- 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)
- Distributed Adaptive Systems (Q5881446) (← links)
