4 ms·Pascal is the developer of Frama-C, a static analyser for C.by wolf550e 12y agoPascal is the developer of Frama-C, a static analyser for C.