Permission-based Verification of Red-Black Trees and Their Merging - Code
收藏DataCite Commons2022-02-08 更新2024-07-03 收录
下载链接：
https://data.4tu.nl/articles/_/13611578/1
下载链接
链接失效反馈官方服务：
资源简介：
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>
提供机构：
4TU.ResearchData
创建时间：
2021-01-21
