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;