--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on June 2010 ---
Hello, Evgenija Eremenko a ?crit : > But I am curious to know why "Frama"? In short, Frama-C stands for "FRAmework for Modular Analyses of C". Best regards, Julien