Cited in
(9)- Flashix: modular verification of a concurrent and crash-safe flash file system
- Towards a thread-local proof technique for starvation freedom
- Distributed Adaptive Systems
- GNATprove
- Line-up
- Loop verification with invariants and contracts
- A sound and complete proof technique for linearizability of concurrent data structures
- An application of temporal projection to interleaving concurrency
- HolBA
This page was built for software: RGITL
