Automatic verification of RMA programs via abstraction extrapolation

DOI10.1007/978-3-319-73721-8_3MaRDI QIDQ3296321zbMATH OpenOpenAlexFDO

Authors Cedric Baumann, Yuri Meshman, T. Hoefler, Martin Vechev, Andrei Marian Dan

Publication date 7 July 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-73721-8_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Effective abstractions for verification under relaxed memory models
• Effective Abstractions for Verification under Relaxed Memory Models
• Computer Aided Verification
• Verification of STM on relaxed memory models
• Effective Program Verification for Relaxed Memory Models

This page was built for publication: Automatic verification of RMA programs via abstraction extrapolation

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