scientific article; zbMATH DE number 7204933

DOI10.4230/LIPICS.CONCUR.2017.16zbMATH Open1442.68126arXiv1707.00639MaRDI QIDQ5111629FDOQ5111629

Constantin Enea, Chao Wang, Ahmed Bouajjani

Publication date: 27 May 2020

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkingconcurrencylinearizability

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)

Cites Work

• Title not available (Why is that?)
• An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
• Finite-memory automata
• Model-checking of correctness conditions for concurrent objects
• Testing Shared Memories
• Verifying Concurrent Programs against Sequential Specifications
• On the complexity of linearizability
• Tractable refinement checking for concurrent objects
• On reducing linearizability to state reachability
• A scalable, correct time-stamped stack
• Aspect-Oriented Linearizability Proofs
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Model-checking of correctness conditions for concurrent objects
• Black-box correctness tests for basic parallel data structures
• Testing and verifying concurrent objects
• Linearizable Wait-Free Iteration Operations in Shared Double-Ended Queues

Uses Software

• SprayList

This page was built for publication:

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