--- layout: fc_discuss_archives title: Message 33 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 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