1/1
9 files

Permission-based Verification of Red-Black Trees and Their Merging - Code

software
posted on 21.01.2021, 08:35 by Lukas Armborst
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.

History

Publisher

4TU.ResearchData

Format

java source files, annotated with JML-style comments for the VerCors verifier

Organizations

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools (FMT)

Licence

Exports

University of Twente

Licence

Exports