Static Analysis of Memory Models for SMT Encodings
Thomas Haas, René Maseli, Roland Meyer, Hernán Ponce de León[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
7(OOPSLA2)
Association for Computing Machinery
New York, NY, USA
oct 2023
Note(s): weak-memory, SMT solver
Association for Computing Machinery
New York, NY, USA
oct 2023
Note(s): weak-memory, SMT solver