An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.

Nikolai Kosmatov, Guillaume Petiot, Julien Signoles

Browse the full RV paper archive.