--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on September 2010 ---
Hello David, Le 20/09/2010 14:57, David MENTRE a ?crit : > 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? A quite up-to-date list of publications is available on a dedicated page of the Frama-C wiki: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications At this day, there are only few publications. Some additional articles are planed but still not written: programming and writing articles are both very time consuming: a choice has to be made... Hope this helps, Julien