GitHub repository: KamiV2/linearizability-jt-union-find
Primary language: TLA
Description: TLA+ files modelling and verifying the linearizability of a randomized linking-by-rank concurrent union find object.