Sound runtime assertion checking for memory properties via program transformation

DOI10.1145/3605951MaRDI QIDQ7028282zbMATH OpenFDO

Authors Nikolai Kosmatov, F. Loulergue, Julien Signoles

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

memory modelsoundness proofruntime assertion checkingmemory-related properties

Mathematics Subject Classification ID

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

This page was built for publication: Sound runtime assertion checking for memory properties via program transformation

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