RGITL

MaRDI QIDQ25828swMATHFDO

Official website http://link.springer.com/article/10.1007%2Fs10472-013-9389-z

Described by source

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

Cited in

(9)

• Flashix: modular verification of a concurrent and crash-safe flash file system
• Loop verification with invariants and contracts
• An application of temporal projection to interleaving concurrency
• GNATprove
• Towards a thread-local proof technique for starvation freedom
• A sound and complete proof technique for linearizability of concurrent data structures
• Line-up
• Distributed Adaptive Systems
• HolBA

This page was built for software: RGITL