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