Data

Tools

Indexes

Applications

Experiments

Open Source Science

linearizability-jt-union-find

TLA+ files modelling and verifying the linearizability of a randomized linking-by-rank concurrent union find object.

https://github.com/kamiv2/linearizability-jt-union-find

Science Score: 67.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 3 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: springer.com
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (1.8%) to scientific vocabulary
Last synced: 10 months ago · JSON representation ·

Repository

TLA+ files modelling and verifying the linearizability of a randomized linking-by-rank concurrent union find object.

Basic Info
  • Host: GitHub
  • Owner: KamiV2
  • Language: TLA
  • Default Branch: master
  • Homepage:
  • Size: 14 MB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed about 1 year ago
Metadata Files
Readme Citation

README.md

Proof of Randomized Linking by Rank for Jayanti-Tarjan Union Find

This repository contains a TLAPS proof of an invariant which proves the linearizability of a randomized linking-by-rank concurrent union find algorithm due to Jayanti and Tarjan, using the metaconfiguration tracking technique of Jayanti et al..

Owner

  • Name: Karun Ram
  • Login: KamiV2
  • Kind: user

CS and Math @ Dartmouth

Citation (CITATION.cff) 

# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!

cff-version: 1.2.0
title: >-
  TLA+ Linearizability proof for a concurrent union-find
  object
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Karun
    family-names: Ram
    email: karun.ram.25@dartmouth.edu
repository-code: 'https://github.com/KamiV2/linearizability-jt-union-find'

GitHub Events

Total
  • Issue comment event: 1
  • Push event: 5
  • Pull request event: 3
  • Create event: 1
Last Year
  • Issue comment event: 1
  • Push event: 5
  • Pull request event: 3
  • Create event: 1