Resource protection using atomics. Patterns and verification

DOI10.1007/978-3-319-12736-1_14MaRDI QIDQ2789050zbMATH OpenOpenAlexFDO

Authors Afshin Amighi, Stefan Blom, Marieke Huisman

Publication date 26 February 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12736-1_14

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A calculus of atomic actions
• Verification of concurrent systems with VerCors
• Abstract specifications for concurrent maps
• scientific article; zbMATH DE number 4121471
• An integrated specification and verification technique for highly concurrent data structures

Cited in

(4)

• Liveness-Preserving Atomicity Abstraction
• Automated verification of parallel nested DFS
• Verification of concurrent systems with VerCors
• Identifying overly restrictive matching patterns in SMT-based program verifiers (extended version)

This page was built for publication: Resource protection using atomics. Patterns and verification

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