Published March 3, 2021 | Version v1
Software Open

Supplemental Material for PhD Thesis titled "Verifying Non-blocking Data Structures with Manual Memory Management"

Authors/Creators

  • 1. TU Braunschweig

Description

Supplemental Material (tools and benchmarks) for PhD Thesis titled Verifying Non-blocking Data Structures with Manual Memory Management submitted at TU Braunschweig by Sebastian Wolff.

More information here: https://wolff09.github.io/phd/

Files

Files (3.8 GB)

Name Size Download all
md5:4ca01288a0a8a52c6b54e0d97b5c138d
3.8 GB Download