--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C



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