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

[Frama-c-discuss] Looking for paper describing Frama-C internals



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?