A Formal Interface for Concurrent Search Structure Templates

This is the formalization for the paper A Formal Interface for Concurrent Search Structure Templates.

• Our implementation is written in C (located in the templates/implementations folder) and formally verified in VST (located in the VST folder) using flow interfaces (located in the flows folder), all of which are included in templates.zip.
• The file templates-artifact.tar.gz is a Docker image that contains a compiled version of templates.zip with all dependencies installed.

Detailed instructions are provided in the README.md file below or in the INSTALL.md file inside templates.zip.