A wide-spectrum language for verification of programs on weak memory models

DOI10.1007/978-3-319-95582-7_14zbMath1460.68026arXiv1802.04406MaRDI QIDQ2024349

Graeme Smith, Robert J. Colvin

Publication date: 4 May 2021

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

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)