RGITL

swMATH13917MaRDI QIDQ25828FDOQ25828

Author name not available (Why is that?)

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
• HolBA
• Towards a thread-local proof technique for starvation freedom
• Distributed Adaptive Systems
• Loop verification with invariants and contracts
• GNATprove
• Line-up
• A sound and complete proof technique for linearizability of concurrent data structures
• An application of temporal projection to interleaving concurrency

This page was built for software: RGITL