Automated Verification of Concurrent Search Structures

DOI10.2200/S01089ED1V01Y202104CSL013MaRDI QIDQ5000450zbMATHOpenAlexFDO

Authors Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

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

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

Recommendations

• Automatic and hierarchical verification for concurrent systems
• Verification of concurrent programs: The automata-theoretic framework
• Automated verification of parallel nested DFS
• Automatable verification of sequential consistency
• Automatic verification of determinism for structured parallel programs
• Automatic verification of timed concurrent constraint programs
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 50008
• Verification of sequential and concurrent programs

Cited in

(3)

• Automatic Verification of Bossa Scheduler Properties
• Automatic verification of determinism for structured parallel programs
• Data Structures for Data-Intensive Applications: Tradeoffs and Design Guidelines

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000450)