RGITL
From MaRDI portal
Software:25828
No author found.
Related Items (7)
Distributed Adaptive Systems ⋮ Loop verification with invariants and contracts ⋮ An application of temporal projection to interleaving concurrency ⋮ A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines ⋮ Towards a Thread-Local Proof Technique for Starvation Freedom ⋮ Flashix: modular verification of a concurrent and crash-safe flash file system
This page was built for software: RGITL
