Automated Verification of Concurrent Search Structures

DOI10.2200/S01089ED1V01Y202104CSL013zbMATH Open1473.68009OpenAlexW4210990654MaRDI QIDQ5000450FDOQ5000450

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

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

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)

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)