--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on June 2010 ---
Hello. I have the question that is not directly connected with verifying programs or anything else like this. I am just interested to find out where the name of Frama-C system came from. "C" -> I understand, because it is the tool for analyzing programs written in C. But I am curious to know why "Frama"? Best regards, Genja