--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on September 2010 ---
Hello, I would like to know more about Frama-C internals, especially regarding algorithms used for abstract analysis and general architecture of Frama-C. I had a quick look at CEA List and ProVal team web site but found no paper on Frama-C. Would somebody have some paper for me to read? Sincerely yours, D. Mentr?