scientific article; zbMATH DE number 7204933

DOI10.4230/LIPIcs.CONCUR.2017.16zbMath1442.68126arXiv1707.00639MaRDI QIDQ5111629

Constantin Enea, Chao Wang, Ahmed Bouajjani

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1707.00639

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkinglinearizabilityconcurrency

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Unnamed Item

Uses Software

• SprayList

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite-memory automata
• On reducing linearizability to state reachability
• Model-checking of correctness conditions for concurrent objects
• On the complexity of linearizability
• A Scalable, Correct Time-Stamped Stack
• Tractable Refinement Checking for Concurrent Objects
• Aspect-Oriented Linearizability Proofs
• Testing Shared Memories
• Verifying Concurrent Programs against Sequential Specifications
• An Integrated Specification and Verification Technique for Highly Concurrent Data Structures

This page was built for publication: