Verified Runtime Assertion Checking for Memory Properties.

Dara Ly, Nikolai Kosmatov, Frdric Loulergue, Julien Signoles

Browse the full TAP paper archive.