Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
Keywords: نظارت بر حافظه; Runtime assertion checking; Memory monitoring; Specification language; Executable specification; Frama-C toolset;