RGITL

swMATH13917MaRDI QIDQ25828FDOQ25828

Author name not available (Why is that?)

Described by source

• RGITL: a temporal logic framework for compositional reasoning about interleaved programs

Cited In (7)

• Flashix: modular verification of a concurrent and crash-safe flash file system
• Distributed Adaptive Systems
• Loop verification with invariants and contracts
• A unifying logic for non-deterministic, parallel and concurrent abstract state machines
• Towards a Thread-Local Proof Technique for Starvation Freedom
• An application of temporal projection to interleaving concurrency
• A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures

This page was built for software: RGITL