Automated Verification of Concurrent Search Structures

DOI10.2200/S01089ED1V01Y202104CSL013zbMath1473.68009OpenAlexW4210990654MaRDI QIDQ5000450

Siddharth Krishna, Thomas Wies, Nisarg Patel, Dennis Shasha

Publication date: 13 July 2021

Published in: Synthesis Lectures on Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2200/s01089ed1v01y202104csl013

Mathematics Subject Classification ID

Searching and sorting (68P10) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20)

Related Items (1)

Data Structures for Data-Intensive Applications: Tradeoffs and Design Guidelines

This page was built for publication: Automated Verification of Concurrent Search Structures