English Frama-C Cited by user Citation bot on 05 Apr 2020 Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs.