Concurrent search structure templates are a technique for separating the verification of a
concurrent data structure into concurrency-control and data-structure components, which …