Program verification under weak memory consistency using separation logic

DOI10.1007/978-3-319-63387-9_2zbMATH Open1494.68175OpenAlexW2736297631MaRDI QIDQ2151230

Viktor Vafeiadis

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Program Verification with Separation Logic ⋮ Verification of Concurrent Programs on Weak Memory Models

This page was built for publication: Program verification under weak memory consistency using separation logic

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