cff-version: 1.2.0
abstract: "These files implement a red-black tree and an algorithm to concurrently merge such trees. The code is written in Java, and annotated with JML-style comments that allow the VerCors verifier to prove the correctness of e.g. inserting and deleting nodes in the tree, and of the merging algorithm.<br>"
authors:
  - family-names: Armborst
    given-names: Lukas
    orcid: "https://orcid.org/0000-0001-7565-0954"
title: "Permission-based Verification of Red-Black Trees and Their Merging - Code"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/13611578.v1
license: CC0
date-released: 2021-01-21