Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles. Verified Runtime Assertion Checking for Memory Properties.
TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway.
⟨10.1007/978-3-030-50995-8_6⟩.
⟨cea-02879211⟩