Automated Verification of Concurrent Search Structures

Abstract Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent se...